Enabling synchronous and asynchronous communications in CSP for SOC

DOI10.1016/J.ENTCS.2015.04.005zbMATH Open1342.68221OpenAlexW2079035919WikidataQ113317809 ScholiaQ113317809MaRDI QIDQ530849FDOQ530849

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

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

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)

Cites Work

• A Calculus for Orchestration of Web Services
• Title not available (Why is that?)
• Title not available (Why is that?)
• Understanding concurrent systems
• The \(\pi\)-calculus: A theory of mobile processes
• 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
• Title not available (Why is that?)
• General dynamic recovery for compensating CSP
• A rewriting-based model checker for the linear temporal logic of rewriting

Uses Software

• SPIN
• COWS
• FDR2
• PAT
• ProBE

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)