scientific article
From MaRDI portal
Publication:3601412
zbMath1154.68336MaRDI QIDQ3601412
Mario Bravetti, Gianluigi Zavattaro
Publication date: 10 February 2009
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) Distributed systems (68M14)
Related Items
Multiparty testing preorders ⋮ Conversation types ⋮ An interface theory for service-oriented design ⋮ Trace- and failure-based semantics for responsiveness ⋮ Fair refinement for asynchronous session types ⋮ An algebraic theory for web service contracts ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Event based choreography
Uses Software
