A normal form for stateful connectors

DOI10.1007/978-3-319-23165-5_9zbMATH Open1321.68357OpenAlexW2296258968MaRDI QIDQ2945707FDOQ2945707

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

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

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)

Cites Work

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

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)