A note on reactive transitions and Reo connectors

DOI10.1007/978-3-319-90089-6_4zbMath1462.68123OpenAlexW2802689623MaRDI QIDQ2028747

Daniel R. Figueiredo, Manuel A. Martins, Luís Soares Barbosa

Publication date: 3 June 2021

Full work available at URL: http://hdl.handle.net/1822/69292

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Relation-changing models meet paraconsistency

Uses Software

• Reo

This page was built for publication: A note on reactive transitions and Reo connectors