![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag | Konferenzbeitrag
Anzahl der Publikationen: 3
Buchbeitrag
Hennicker, Rolf; Bidoit, Michel und Dang, Thanh-Son
(2016):
On Synchronous and Asynchronous Compatibility of Communicating Components.
In: Lafuente, Alberto Lluch und Proença, José (Hrsg.):
Coordination Models and Languages. 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc. Programming and Software Engineering, Bd. 9686. Cham: Springer. S. 138-156
Konferenzbeitrag
Beek, Maurice H. ter 
ORCID: https://orcid.org/0000-0002-2930-6367; Cledou, Guillermina ORCID: https://orcid.org/0000-0003-0006-6440; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
25th International Symposium on Formal Methods (FM), Lubeck, Germany, 06. - 10. März 2023.
Chechik, Marsha; Katoen, Joost-Pieter und Leucker, Martin (Hrsg.):
In: Formal Methods, Lecture Notes in Computer Science
Bd. 14000
Cham: Springer. S. 122-141
ORCID: https://orcid.org/0000-0002-2930-6367; Cledou, Guillermina ORCID: https://orcid.org/0000-0003-0006-6440; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Can We Communicate? Using Dynamic Logic to Verify Team Automata.
25th International Symposium on Formal Methods (FM), Lubeck, Germany, 06. - 10. März 2023.
Chechik, Marsha; Katoen, Joost-Pieter und Leucker, Martin (Hrsg.):
In: Formal Methods, Lecture Notes in Computer Science
Bd. 14000
Cham: Springer. S. 122-141
Beek, Maurice H. ter ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255
ORCID: https://orcid.org/0000-0002-2930-6367; Hennicker, Rolf und Proença, José ORCID: https://orcid.org/0000-0003-0971-8919
(2023):
Realisability of Global Models of Interaction.
20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023.
Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (Hrsg.):
In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science
Bd. 14446
Cham: Springer. S. 236-255