scientific article; zbMATH DE number 7020159

zbMath1424.68105MaRDI QIDQ4621161

Farhad Arbab, Sung-Shik Jongmans

Publication date: 8 February 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticscoordinationconcurrencyReoconstraint automataconnector coloring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) 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

Combine and conquer: relating BIP and Reo ⋮ From symbolic constraint automata to Promela ⋮ ReLo: a Dynamic Logic to Reason About Reo Circuits ⋮ Soft constraint automata with memory ⋮ Reo