Seguir
Kasper Dokter
Kasper Dokter
PhD student
Dirección de correo verificada de cwi.nl
Título
Citado por
Citado por
Año
Treo: Textual syntax for reo connectors
K Dokter, F Arbab
arXiv preprint arXiv:1806.09852, 2018
182018
Relating BIP and reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
arXiv preprint arXiv:1508.04848, 2015
162015
Rule-based form for stream constraints
K Dokter, F Arbab
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
142018
Scheduling games for concurrent systems
K Dokter, SS Jongmans, F Arbab
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016
102016
Soft constraint automata with memory
K Dokter, F Gadducci, F Santini
It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018
92018
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
92017
Exposing latent mutual exclusion by work automata
K Dokter, F Arbab
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International …, 2017
22017
Protocol Scheduling
K Dokter, F Arbab
Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021
12021
Multilabeled Petri Nets
K Dokter
Formal Aspects of Component Software: 16th International Conference, FACS …, 2020
12020
Reo Documentation
K Dokter
2019
Journal of Logical and Algebraic Methods in Programming
K Dokter, SS Jongmans, F Arbab, S Bliudze
2016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11