Author of the publication

Coloured Modelling Spider Diagrams.

, , and . Diagrams, volume 8578 of Lecture Notes in Computer Science, page 45-47. Springer, (2014)

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

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 107-124. Springer, (2009)McScM: A General Framework for the Verification of Communicating Machines., , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 478-484. Springer, (2012)Reachability in Higher-Order-Counters., and . MFCS, volume 8087 of Lecture Notes in Computer Science, page 528-539. Springer, (2013)ω-Petri Nets., , , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 49-69. Springer, (2013)Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO.. ECEASST, (2012)Safety Verification of Communicating One-Counter Machines., , and . FSTTCS, volume 18 of LIPIcs, page 224-235. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)A semantics comparison workbench for a concurrent, asynchronous, distributed programming language., , and . Formal Aspects Comput., 30 (1): 163-192 (2018)Reachability Analysis of Communicating Pushdown Systems., , , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 267-281. Springer, (2010)Queue-Dispatch Asynchronous Systems., , and . ACSD, page 150-159. IEEE Computer Society, (2013)A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language., , and . CoRR, (2017)