Author of the publication

Symbolic Semantics Revisited.

, and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 395-412. Springer, (2008)

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

Coalgebraic Symbolic Semantics., and . CALCO, volume 5728 of Lecture Notes in Computer Science, page 173-190. Springer, (2009)Deriving Labels and Bisimilarity for Concurrent Constraint Programming., , , , and . FoSSaCS, volume 6604 of Lecture Notes in Computer Science, page 138-152. Springer, (2011)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., and . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Simulation-based matching of cloud applications., , , and . Sci. Comput. Program., (2018)The Theory of Traces for Systems with Nondeterminism and Probability., , and . LICS, page 1-14. IEEE, (2019)A coalgebraic view on decorated traces., , , , and . Math. Struct. Comput. Sci., 26 (7): 1234-1268 (2016)Reactive Systems, Barbed Semantics, and the Mobile Ambients., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 272-287. Springer, (2009)Encoding Synchronous Interactions Using Labelled Petri Nets., , , and . COORDINATION, volume 8459 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)RPO semantics for mobile ambients., , and . Math. Struct. Comput. Sci., (2014)Lawvere Categories as Composed PROPs., , and . CMCS, volume 9608 of Lecture Notes in Computer Science, page 11-32. Springer, (2016)