scientific article; zbMATH DE number 7453962

MaRDI QIDQ5020944zbMATH OpenFDO

Authors Mark Bouwman, Bas Luttik, Wouter Schols, T. A. C. Willemse

Publication date 7 January 2022

Full work available at URL https://arxiv.org/abs/2008.13356, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2020.5

Mathematics Subject Classification ID

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 brief history of process algebra
• Algebraic laws for nondeterminism and concurrency
• Analysing mutual exclusion using process algebra with signals
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Modeling and analysis of communicating systems
• Notions of bisimulation and congruence formats for SOS with data
• Off-the-shelf automated analysis of liveness properties for just paths
• Understanding concurrent systems

Cited in

(1)

• Imperative process algebra and models of parallel computation

This page was built for publication:

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