Enabling synchronous and asynchronous communications in CSP for SOC

DOI10.1016/j.entcs.2015.04.005zbMath1342.68221OpenAlexW2079035919WikidataQ113317809 ScholiaQ113317809MaRDI QIDQ530849

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

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

Uses Software

• SPIN
• COWS
• FDR2
• PAT
• ProBE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Understanding concurrent systems
• On the Asynchronous Nature of the Asynchronous π-Calculus
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
• The Conversation Calculus: A Model of Service-Oriented Computation
• A Calculus for Orchestration of Web Services

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