Kasper Dokter
Kasper Dokter
PhD student
Verified email at cwi.nl
Title
Cited by
Cited by
Year
Relating BIP and reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
arXiv preprint arXiv:1508.04848, 2015
122015
Rule-based form for stream constraints
K Dokter, F Arbab
International Conference on Coordination Languages and Models, 142-161, 2018
102018
Combine and conquer: Relating BIP and Reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
Journal of logical and algebraic methods in programming 86 (1), 134-156, 2017
82017
Treo: Textual syntax for Reo connectors
K Dokter, F Arbab
arXiv preprint arXiv:1806.09852, 2018
62018
Scheduling games for concurrent systems
K Dokter, SS Jongmans, F Arbab
International Conference on Coordination Languages and Models, 84-100, 2016
62016
Soft constraint automata with memory
K Dokter, F Gadducci, B Lion, F Santini
Journal of Logical and Algebraic Methods in Programming, 100615, 2020
2020
Multilabeled Petri Nets
K Dokter
International Conference on Formal Aspects of Component Software, 106-126, 2019
2019
Reo Documentation
K Dokter
2019
Exposing Latent Mutual Exclusion by Work Automata
K Dokter, F Arbab
International Conference on Topics in Theoretical Computer Science, 59-73, 2017
2017
Journal of Logical and Algebraic Methods in Programming
K Dokter, SS Jongmans, F Arbab, S Bliudze
2016
The system can't perform the operation now. Try again later.
Articles 1–10