Abstract Processes in Orchestration Languages

DOI10.1007/978-3-642-00590-9_22MaRDI QIDQ3617707zbMATH OpenOpenAlexFDO

Authors Maria Grazia Buscemi, Hernan 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)

Recommendations

• Orchestrated session compliance
• scientific article; zbMATH DE number 7167773
• Foundations of Software Science and Computation Structures
• Relating two automata-based models of orchestration and choreography
• Towards verification of computation orchestration

Cited in

(3)

• Process languages and nets
• Contracts for Mobile Processes
• A Language for Task Orchestration and Its Semantic Properties

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

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