Connector Algebras, Petri Nets, and BIP

DOI10.1007/978-3-642-29709-0_2zbMath1336.68006OpenAlexW1554285005MaRDI QIDQ3457970

Hernán Melgratti, Roberto Bruni, Ugo Montanari

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical problems of computer architecture (68M07)

Related Items (7)

Combine and conquer: relating BIP and Reo ⋮ A Normal Form for Stateful Connectors ⋮ Unnamed Item ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ Behaviour, Interaction and Dynamics ⋮ From Hierarchical BIP to Petri Calculus ⋮ Causal Semantics for the Algebra of Connectors

This page was built for publication: Connector Algebras, Petri Nets, and BIP