Intentional Automata: A Context-Dependent Model for Component Connectors

DOI10.1007/978-3-642-29320-7_22zbMath1353.68163OpenAlexW1509993431MaRDI QIDQ2894573

Milad Niqui, Jan J. M. M. Rutten, David Goldstein Costa

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_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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)

Soft constraint automata with memory

This page was built for publication: Intentional Automata: A Context-Dependent Model for Component Connectors