scientific article

zbMath1364.68271MaRDI QIDQ2988998

Faisal Abouzaid, John Mullins

Publication date: 19 May 2017

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066109004423?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

process algebras\(\pi\)-calculusweb servicesBPELorchestration languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Related Items (1)

Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• COWS

This page was built for publication: