A Specification Language for Reo Connectors

DOI10.1007/978-3-642-29320-7_26zbMath1353.68056OpenAlexW1542044052MaRDI QIDQ2894576

Alexandra Silva

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_26

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

From symbolic constraint automata to Promela

Uses Software

• MANIFOLD
• CIRC

This page was built for publication: A Specification Language for Reo Connectors