A Logic-Programming Semantics of Services

DOI10.1007/978-3-642-40206-7_22zbMath1394.68257OpenAlexW118320082MaRDI QIDQ2848957

José Luiz Fiadeiro, Ionuţ Ţuţu

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

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

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