Models for Trustworthy Service and Process Oriented Systems

DOI10.4230/LIPICS.ICLP.2010.270zbMath1237.68038OpenAlexW1494186517MaRDI QIDQ2883105

Hugo A. López

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_f8b6.html

zbMATH Keywords

logicsession typesconcurrent constraint calculiservice and process oriented computing

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic programming (68N17)

Uses Software

• COWS

This page was built for publication: Models for Trustworthy Service and Process Oriented Systems