Behaviour, Interaction and Dynamics
From MaRDI portal
Publication:5403078
DOI10.1007/978-3-642-54624-2_19zbMath1407.68098MaRDI QIDQ5403078
Hernán Melgratti, Ugo Montanari, Roberto Bruni
Publication date: 25 March 2014
Published in: Specification, Algebra, and Software (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11568/468074
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A Theory Agenda for Component-Based Design, Formal specification and verification of dynamic parametrized architectures, Functional BIP: embedding connectors in functional programming languages, A Normal Form for Stateful Connectors
Cites Work
- Unnamed Item
- A basic algebra of stateless connectors
- A core calculus for correlation in orchestration languages
- A calculus of mobile processes. I
- Connector algebras for C/E and P/T nets' interactions
- A Connector Algebra for P/T Nets Interactions
- Tiles for Reo
- Connector Algebras, Petri Nets, and BIP
- A Notion of Glue Expressiveness for Component-Based Systems
- Representations of Petri Net Interactions
- Causal semantics for the algebra of connectors