A process algebra for predictible control systems

MaRDI QIDQ5457682zbMATH OpenFDO

Authors Nicolae Marian

Publication date 14 April 2008

zbMATH Keywords

controlprocess algebraformal verificationpriority specificationresource specification

Mathematics Subject Classification ID

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

Recommendations

• TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
• A process algebra with distributed priorities
• A process algebra with distributed priorities
• scientific article; zbMATH DE number 1696898
• A process algebra of communicating shared resources with dense time and priorities

Cited in

(3)

• scientific article; zbMATH DE number 1163088 (Why is no real title available?)
• scientific article; zbMATH DE number 1487746 (Why is no real title available?)
• PARS: a process algebraic approach to resources and schedulers

This page was built for publication: A process algebra for predictible control systems

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