scientific article; zbMATH DE number 7319030

MaRDI QIDQ4965857zbMATH OpenFDO

Authors Maria Rita Di Berardini, Flavio Corradini, Walter Vogler

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.4466, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606
• Expressiveness of process algebras
• A non-SOS operational semantics for a process algebra
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
• Process Algebra: An Algebraic Theory of Concurrency
• scientific article; zbMATH DE number 1333607
• scientific article; zbMATH DE number 1555176
• Process algebra with recursive operations
• Communicating Sequential Processes. The First 25 Years

Cited in

(3)

• Axiomatizing a fragment of PAFAS
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• Analysing mutual exclusion using process algebra with signals

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 Q4965857)