715 citations
- Max Planck Institute for the Physics of Complex SystemsDE23 papers
- Max Planck SocietyDE12 papers
- Institute of PhysicsPL9 papers
- Russian Academy of SciencesRU9 papers
- Technische Universität DresdenDE9 papers
- Laboratoire de Physique ThéoriqueFR6 papers
- Leibniz Institute for Solid State and Materials ResearchDE6 papers
- Technische Universität BerlinDE6 papers
- University of Wisconsin–MadisonUS6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Institute for Scientific InterchangeIT5 papers
- Max Planck Institute for Solar System ResearchDE5 papers
Showing 2012 · cs.LOShow all
3 papers · 2 filters
cs.LO2012
An Operational Petri Net Semantics for the Join-Calculus
Stephan Mennicke
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between sy…
cs.LO2012★ 3 cited
On the specification of operations on the rational behaviour of systems
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot
Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic ope…
cs.LO2012★ 3 cited
On Distributability of Petri Nets
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and prec…