A Logic-Programming Semantics of Services

DOI10.1007/978-3-642-40206-7_22MaRDI QIDQ2848957zbMATH OpenOpenAlexFDO

Authors Ionuţ Ţuţu, José Fiadeiro

Publication date 13 September 2013

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40206-7_22

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Service-oriented logic programming
• scientific article; zbMATH DE number 1931650
• Logical foundations of services
• Logic programming as a service
• A parametrized propositional dynamic logic with application to service synthesis

Cited in

(8)

• A full operational semantics for asynchronous relational networks
• Service-oriented logic programming
• Static Detection of Logic Flaws in Service-Oriented Applications
• What Do Semantics Matter When the Meat Is Overcooked?
• Services as a Paradigm of Computation
• A formal model for service-oriented interactions
• Logic programming as a service
• Logical foundations of services

This page was built for publication: A Logic-Programming Semantics of Services

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