Simulation Using Orchestration

DOI10.1007/978-3-540-79980-1_2zbMath1170.68643OpenAlexW1520072032MaRDI QIDQ5505413

Evan Powell, David Kitchin, Jayadev Misra

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_2

Mathematics Subject Classification ID

Related Items (2)

Reasoning about orchestrations of web services using partial correctness ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs

This page was built for publication: Simulation Using Orchestration