Folgen
Kasper Dokter
Kasper Dokter
PhD student
Bestätigte E-Mail-Adresse bei cwi.nl
Titel
Zitiert von
Zitiert von
Jahr
Treo: Textual syntax for reo connectors
K Dokter, F Arbab
arXiv preprint arXiv:1806.09852, 2018
172018
Relating BIP and reo
K Dokter, SS Jongmans, F Arbab, S Bliudze
arXiv preprint arXiv:1508.04848, 2015
172015
Rule-based form for stream constraints
K Dokter, F Arbab
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
142018
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
102017
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11