A full operational semantics for asynchronous relational networks

DOI10.1007/978-3-319-28114-8_8MaRDI QIDQ2787346zbMATH OpenOpenAlexFDO

Authors Ignacio Vissani, Carlos Pombo, Ionuţ Ţuţu, José Fiadeiro

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An interface theory for service-oriented design
• Logical foundations of services
• A Logic-Programming Semantics of Services
• Service-oriented logic programming
• Service oriented computing from a process algebraic perspective

Cited in

(3)

• What Do Semantics Matter When the Meat Is Overcooked?
• An interface theory for service-oriented design
• Applications and Theory of Petri Nets 2004

This page was built for publication: A full operational semantics for asynchronous relational networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787346)