Trustworthy Global Computing

DOI10.1007/11580850MaRDI QIDQ5394802zbMATH OpenOpenAlexFDO

Authors Gianluigi Zavattaro, Cosimo Laneve

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11580850

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 6514866
• A Look Around the Corner: The Pi-Calculus
• The Ubiquitous π
• The Ubiquitous π
• scientific article; zbMATH DE number 1345950
• π und Co.

Cited in

(10)

• Web Cube
• A WSDL-based type system for asynchronous WS-BPEL processes
• Toward an integration of BPEL in Agapia
• A graphical approach to progress for structured communication in web services
• XPi: a typed process calculus for XML messaging
• Behavioural equivalences for dynamic web data
• PiDuce- A project for experimenting web services technologies
• A formal approach to the engineering of domain-specific distributed systems
• PiStache: implementing \(\pi \)-calculus in Scala
• Foundations of Software Science and Computational Structures

This page was built for publication: Trustworthy Global Computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394802)