Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705884
DOI10.1007/b106850zbMath1118.68335OpenAlexW1588712707MaRDI QIDQ5705884
Gianluigi Zavattaro, Cosimo Laneve
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (18)
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions ⋮ PiDuce- A project for experimenting web services technologies ⋮ Linear forwarders ⋮ Service oriented computing from a process algebraic perspective ⋮ A pi-calculus based semantics for WS-BPEL ⋮ Timed runtime monitoring for multiparty conversations ⋮ Time analysis of actor programs ⋮ A model of actors and grey failures ⋮ Unnamed Item ⋮ On the analysis of compensation correctness ⋮ A timed calculus for wireless systems ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ On primitives for compensation handling as adaptable processes ⋮ Timed $$\pi $$-Calculus ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ Biological Transactions for Quantitative Models
This page was built for publication: Foundations of Software Science and Computational Structures