Abstract Processes in Orchestration Languages

DOI10.1007/978-3-642-00590-9_22zbMath1234.68290OpenAlexW2169141278MaRDI QIDQ3617707

Maria Grazia Buscemi, Hernán Melgratti

Publication date: 31 March 2009

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_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)

Related Items (1)

Contracts for Mobile Processes

This page was built for publication: Abstract Processes in Orchestration Languages