Service oriented computing from a process algebraic perspective

DOI10.1016/J.JLAP.2006.05.002zbMath1178.68072OpenAlexW2095956855MaRDI QIDQ861292

Gianluigi Zavattaro, Mario Bravetti

Publication date: 9 January 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.05.002

zbMATH Keywords

process calculiservice compositionservice oriented computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (6)

Communicating by compatibility ⋮ On the expressiveness of multiplicities in data-based coordination languages ⋮ Property specifications for workflow modelling ⋮ Concurrent Objects à la Carte ⋮ Objects and session types ⋮ A barred operational semantics for a subset of WS-CDL with time restrictions

Uses Software

• Linda

Cites Work

• Unnamed Item
• Semantic subtyping for the pi-calculus
• Process algebra with timing
• A generic type system for the pi-calculus
• Quantitative information in the tuple space coordination model
• Generative communication in Linda
• Theoretical foundations for compensations in flow composition languages
• Fundamental Approaches to Software Engineering
• Foundations of Software Science and Computational Structures
• Communicating Sequential Processes. The First 25 Years
• Coordination Models and Languages
• CONCUR 2005 – Concurrency Theory
• Formal Methods for Open Object-Based Distributed Systems

This page was built for publication: Service oriented computing from a process algebraic perspective