scientific article
From MaRDI portal
Publication:2847797
zbMath1271.68196MaRDI QIDQ2847797
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405159X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)
Related Items (5)
A core calculus for correlation in orchestration languages ⋮ A pi-calculus based semantics for WS-BPEL ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ An Observational Model for Transactional Calculus of Services Orchestration ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs
Uses Software
This page was built for publication:
