A normal form for stateful connectors

DOI10.1007/978-3-319-23165-5_9MaRDI QIDQ2945707zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Hernan Melgratti, Ugo Montanari

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11568/769911

zbMATH Keywords

algebras of connectorsPetri nets with boundaries

Mathematics Subject Classification ID

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

Recommendations

• Connector algebras for C/E and P/T nets' interactions
• Representations of Petri net interactions
• scientific article; zbMATH DE number 1101393
• A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
• A connector algebra for P/T nets interactions

Cites work

• A basic algebra of stateless connectors
• A categorical semantics of signal flow graphs
• A connector algebra for P/T nets interactions
• Axiomatizing the algebra of net computations and processes
• Behaviour, Interaction and Dynamics
• Categorical algebra
• Compositional semantics for open Petri nets based on deterministic processes
• Connector algebras for C/E and P/T nets' interactions
• Connector algebras, Petri nets, and BIP
• Full abstraction for signal flow graphs
• Functorial models for Petri nets
• scientific article; zbMATH DE number 1107621 (Why is no real title available?)
• On the category of props
• On the semantics of place/transition Petri nets
• Petri nets are monoids
• Reo: a channel-based coordination model for component composition
• Representations of Petri net interactions
• Three Partition Refinement Algorithms
• Tiles for Reo

Describes a project that uses

Uses Software

• Reo

This page was built for publication: A normal form for stateful connectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945707)