Author of the publication

Applications of the Calculus of Trees to Process Description Languages.

, , and . Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, page 282-301. Springer, (1991)

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

Introducing a Calculus of Trees., and . TAPSOFT, Vol.1, volume 493 of Lecture Notes in Computer Science, page 215-240. Springer, (1991)Applications of the Calculus of Trees to Process Description Languages., , and . Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, page 282-301. Springer, (1991)The Topos of Labelled Trees: A Categorical Semantics for SCCS., and . Fundam. Informaticae, 32 (1): 27-45 (1997)Process synchronisation as fusion., , and . Appl. Categorical Struct., 4 (4): 403-421 (1996)Modal Epistemic Logic on Contracts: A Doctrinal Approach., , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 298-314. Springer, (2019)Generalising Conduché's Theorem., , and . Appl. Categorical Struct., 19 (1): 277-292 (2011)CospanSpan(Graph): a Compositional Description of the Heart System., , , , , and . Fundam. Informaticae, 171 (1-4): 221-237 (2020)Compositional Modeling of Biological Systems in CospanSpan(Graph)., , , , and . ICTCS, volume 2756 of CEUR Workshop Proceedings, page 61-66. CEUR-WS.org, (2020)A Relational Model of Incomplete Data without NULLs., and . CATS, volume 109 of CRPIT, page 89-94. Australian Computer Society, (2010)Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks., , and . CALCO, volume 72 of LIPIcs, page 2:1-2:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)