Author of the publication

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)

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)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)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)On Continuous Time Agents., and . MFPS, volume 598 of Lecture Notes in Computer Science, page 403-425. Springer, (1991)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)Observational trees as models for concurrency., and . Math. Struct. Comput. Sci., 9 (6): 687-718 (1999)