A Full Operational Semantics for Asynchronous Relational Networks
From MaRDI portal
Publication:2787346
DOI10.1007/978-3-319-28114-8_8zbMath1472.68011OpenAlexW2417517340MaRDI QIDQ2787346
Ignacio Vissani, José Luiz Fiadeiro, Ionuţ Ţuţu, Carlos G. López Pombo
Publication date: 25 February 2016
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_8
Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: A Full Operational Semantics for Asynchronous Relational Networks
