Service oriented computing from a process algebraic perspective
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1670867 (Why is no real title available?)
- A calculus for long-running transactions.
- A generic type system for the pi-calculus
- CONCUR 2005 – Concurrency Theory
- Communicating Sequential Processes. The First 25 Years
- Coordination Models and Languages
- Foundations of Software Science and Computational Structures
- Fundamental Approaches to Software Engineering
- Generative communication in Linda
- Process algebra with timing
- Quantitative information in the tuple space coordination model
- Semantic subtyping for the pi-calculus
- Theoretical foundations for compensations in flow composition languages
Cited in
(21)- On the expressiveness of multiplicities in data-based coordination languages
- Enabling synchronous and asynchronous communications in CSP for SOC
- Concurrent objects à la carte
- A full operational semantics for asynchronous relational networks
- Property specifications for workflow modelling
- Objects and session types
- The Conversation Calculus: A Model of Service-Oriented Computation
- Approaching simple and powerful service-computing1
- Services as a Paradigm of Computation
- Service net algebra based on logic Petri nets
- From StPowla processes to SRML models
- Dynamic error handling in service oriented applications
- Logical foundations of services
- Process calculi for modelling mobile, service-oriented, and collective autonomic systems
- Towards a process calculus for REST: current state of the art
- Models for trustworthy service and process oriented systems
- A barred operational semantics for a subset of WS-CDL with time restrictions
- A perspective on service orchestration
- Service-oriented logic programming
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Communicating by compatibility
This page was built for publication: Service oriented computing from a process algebraic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861292)