K
Kasper Dokter
Researcher at Centrum Wiskunde & Informatica
Publications - 11
Citations - 61
Kasper Dokter is an academic researcher from Centrum Wiskunde & Informatica. The author has contributed to research in topics: Constraint (information theory) & Concurrency. The author has an hindex of 5, co-authored 11 publications receiving 57 citations. Previous affiliations of Kasper Dokter include Leiden University.
Papers
More filters
Journal ArticleDOI
Relating BIP and Reo
TL;DR: A formal relation is established between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models that preserve all properties expressible in a common semantics.
Journal ArticleDOI
Relating BIP and Reo
TL;DR: In this paper, a formal relation between BIP and Reo is established by defining transformations between their semantic models, which preserve all properties expressible in a common semantics, and this formal relation comprises the basis for a solid comparison and consolidation of the fundamental coordination concepts behind these two languages.
Journal ArticleDOI
Combine and conquer: Relating BIP and Reo
Kasper Dokter,Sung-Shik T. Q. Jongmans,Sung-Shik T. Q. Jongmans,Sung-Shik T. Q. Jongmans,Farhad Arbab,Simon Bliudze +5 more
TL;DR: This paper establishes a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models, and shows that these transformations preserve all properties expressible in a common semantics.
Book ChapterDOI
Rule-Based Form for Stream Constraints
Kasper Dokter,Farhad Arbab +1 more
TL;DR: This work proposes stream constraints as an alternative to constraint automata that avoids state space explosions and introduces a rule-based form for stream constraints that can avoid transition space explosions.
Book ChapterDOI
Scheduling Games for Concurrent Systems
TL;DR: This paper uses a graph to generate a graph, and view scheduler synthesis as solving a game on this graph that is played between the scheduler and the application, and illustrates that the framework is expressive enough to subsume an established scheduling framework for streaming programs.