Behaviour, Interaction and Dynamics

DOI10.1007/978-3-642-54624-2_19zbMath1407.68098OpenAlexW36629415MaRDI 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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Functional BIP: embedding connectors in functional programming languages ⋮ A Normal Form for Stateful Connectors ⋮ Formal specification and verification of dynamic parametrized architectures ⋮ A Theory Agenda for Component-Based Design

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

This page was built for publication: Behaviour, Interaction and Dynamics