Showing
1 - 6
results of
6
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Dokter, Kasper
Search Results - Dokter, Kasper
Showing
1 - 6
results of
6
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Treo: Textual Syntax for Reo Connectors
by
Dokter, Kasper
,
Arbab, Farhad
Get full text
Items that this one cites
Conference Proceeding
Save to List
Saved in:
2
Loading…
Relating BIP and Reo
by
Dokter, Kasper
,
Jongmans, Sung-Shik
,
Arbab, Farhad
,
Bliudze, Simon
Published in
Electronic proceedings in theoretical computer science
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Treo: Textual Syntax for Reo Connectors
by
Kasper Dokter
,
Arbab, Farhad
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
4
Loading…
Soft constraint automata with memory
by
Dokter, Kasper
,
Gadducci, Fabio
,
Lion, Benjamin
,
Santini, Francesco
Published in
Journal of logical and algebraic methods in programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
5
Loading…
Combine and conquer: Relating BIP and Reo
by
Dokter, Kasper
,
Jongmans, Sung-Shik
,
Arbab, Farhad
,
Bliudze, Simon
Published in
Journal of logical and algebraic methods in programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
6
Loading…
Relating BIP and Reo
by
Kasper Dokter
,
Sung-Shik Jongmans
,
Arbab, Farhad
,
Bliudze, Simon
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
2 results
2
Full Text
6 results
6
Format
Articles
5 results
5
Conference Proceedings
1 results
1
Journal Title
Arxiv.org
2 results
2
Journal Of Logical And Algebraic Methods In Programming
2 results
2
Electronic Proceedings In Theoretical Computer Science
1 results
1
Electronic Proceedings In Theoretical Computer Science, Eptcs
1 results
1
The Journal Of Logical And Algebraic Methods In Programming/Journal Of Logical And Algebraic Methods In Programming
1 results
1
Subjects
Computer Science
4 results
4
Computer Science, Theory & Methods
4 results
4
Science & Technology
4 results
4
Technology
4 results
4
Computer Science - Programming Languages
2 results
2
Languages
2 results
2
Logic
2 results
2
Science & Technology - Other Topics
2 results
2
Automata With Memory
1 results
1
Bip
1 results
1
Computer Science - Software Engineering
1 results
1
Concurrency
1 results
1
Connectors
1 results
1
Constraint Automata
1 results
1
Coordination
1 results
1
Correctness Proofs
1 results
1
Formal Translations
1 results
1
Iterative Methods
1 results
1
Parameters
1 results
1
Reo
1 results
1
Year of Publication
From:
To:
Source
Road: Directory Of Open Access Scholarly Resources
4 results
4
Sciencedirect Journals
2 results
2
Free E- Journals
2 results
2
Sciencedirect Freedom Collection 2022-2024
2 results
2
Doaj Directory Of Open Access Journals
2 results
2
Ezb Free E-Journals
2 results
2
Publicly Available Content (Proquest)
2 results
2