scientific article; zbMATH DE number 4164152

MaRDI QIDQ3490964zbMATH OpenFDO

Authors J. A. Bergstra

Publication date 1989

zbMATH Keywords

process algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Process algebra with propositional signals
• Analysing mutual exclusion using process algebra with signals
• Modelling mutual exclusion in a process algebra with time-outs

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