Trustworthy Global Computing

DOI10.1007/11580850zbMATH Open1151.68539OpenAlexW2972035647MaRDI QIDQ5394802FDOQ5394802

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

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.

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)

Cited In (10)

• 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
• PiStache: implementing \(\pi \)-calculus in Scala
• A formal approach to the engineering of domain-specific distributed systems
• Foundations of Software Science and Computational Structures
• Web Cube

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)