Enabling synchronous and asynchronous communications in CSP for SOC

DOI10.1016/J.ENTCS.2015.04.005MaRDI QIDQ530849zbMATH OpenOpenAlexWikidataFDO

Authors Abeer S. Al-Humaimeedy, Maribel Fernández

Publication date 1 August 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2015.04.005

zbMATH Keywords

CSPbuffersasynchronyservice-oriented computingasynchronous calculiSOC calculi

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Service oriented computing from a process algebraic perspective
• The Conversation Calculus: A Model of Service-Oriented Computation
• Synchronous development of asynchronous systems
• scientific article; zbMATH DE number 3956422

Cites work

• scientific article; zbMATH DE number 3928334 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A Calculus for Orchestration of Web Services
• A rewriting-based model checker for the linear temporal logic of rewriting
• General dynamic recovery for compensating CSP
• On the Asynchronous Nature of the Asynchronous π-Calculus
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• The Conversation Calculus: A Model of Service-Oriented Computation
• The \(\pi\)-calculus: A theory of mobile processes
• Understanding concurrent systems

Describes a project that uses

Uses Software

• ProBE
• PAT
• FDR2
• COWS
• SPIN

This page was built for publication: Enabling synchronous and asynchronous communications in CSP for SOC

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