Logical foundations of services

DOI10.4230/OASICS.ICCSW.2013.111MaRDI QIDQ5398108zbMATH OpenOpenAlexFDO

Authors Ionuţ Ţuţu

Publication date 26 February 2014

Full work available at URL https://dblp.uni-trier.de/db/conf/iccsw/iccsw2013.html#Tutu13

zbMATH Keywords

formal methodsinstitution theoryservice-oriented computing

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

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

Cited in

(8)

• A full operational semantics for asynchronous relational networks
• A Logic-Programming Semantics of Services
• Models for trustworthy service and process oriented systems
• Service-oriented logic programming
• Static Detection of Logic Flaws in Service-Oriented Applications
• An interface theory for service-oriented design
• A formal model for service-oriented interactions
• Service oriented computing from a process algebraic perspective

This page was built for publication: Logical foundations of services

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