Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dynamic Structural Operational Semantics., and . CoRR, (2016)Kleene Theorem for Higher-Dimensional Automata, , , and . (2022)cite arxiv:2202.03791.Behavioural Computer Science: an agenda for combining modelling of human and system behaviours., , and . Hum. centric Comput. Inf. Sci., (2018)ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality., , , , and . RAMiCS, volume 13027 of Lecture Notes in Computer Science, page 90-107. Springer, (2021)Probabilistic Modelling of Humans in Security Ceremonies., and . DPM/SETOP/QASA, volume 8872 of Lecture Notes in Computer Science, page 277-292. Springer, (2014)Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus., , and . EXPRESS/SOS, volume 368 of EPTCS, page 3-22. (2022)Test-Driven Javascript Development. Developer's Library Addison-Wesley Professional, First edition, (September 2010)SAT modulo discrete event simulation applied to railway design capacity analysis., , , and . Formal Methods Syst. Des., 57 (2): 211-245 (2021)A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus., , and . LATA, volume 10168 of Lecture Notes in Computer Science, page 51-63. (2017)Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus., , and . CONCUR, volume 243 of LIPIcs, page 30:1-30:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)