Symmetry and Concurrency

DOI10.1007/978-3-540-73859-6_4zbMath1214.68252OpenAlexW1588603822MaRDI QIDQ3612483

Glynn Winskel

Publication date: 10 March 2009

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_4

zbMATH Keywords

symmetryPetri netsunfoldingevent structuresspanshigher dimensional automatanondeterministic dataflowhigher order processespseudo monads

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Families of Symmetries as Efficient Models of Resource Binding ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

This page was built for publication: Symmetry and Concurrency