Process algebras as specification language (work in progress)

MaRDI QIDQ2842868zbMATH OpenFDO

Authors Friedger Müffke

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610480522X

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 139998
• A process algebra for timed systems
• Process algebras for network communication
• scientific article; zbMATH DE number 4016181
• Modular specification of process algebras

Cites work

• scientific article; zbMATH DE number 1693430 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• The algebra of timed processes, ATP: Theory and application

Cited in

(8)

• Deriving graphical representations of process networks from algebraic expressions
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Modular specification of process algebras
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• scientific article; zbMATH DE number 2188495 (Why is no real title available?)
• Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
• scientific article; zbMATH DE number 139998 (Why is no real title available?)
• Structured CSP – A Process Algebra as an Institution

Describes a project that uses

Uses Software

• FDR2

This page was built for publication: Process algebras as specification language (work in progress)

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