Foundations of Software Science and Computational Structures

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

Mathematics Subject Classification ID

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