Contract-Directed Synthesis of Simple Orchestrators
From MaRDI portal
Publication:3541015
DOI10.1007/978-3-540-85361-9_13zbMath1160.68320OpenAlexW1753977805MaRDI QIDQ3541015
Publication date: 25 November 2008
Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_13
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (4)
Contracts for Mobile Processes ⋮ An algebraic theory for web service contracts ⋮ Building distributed controllers for systems with priorities ⋮ Contract-based discovery of Web services modulo simple orchestrators
This page was built for publication: Contract-Directed Synthesis of Simple Orchestrators