A process algebra for predictible control systems

zbMATH Open1134.68448MaRDI QIDQ5457682FDOQ5457682

Authors: Nicolae Marian 

Publication date: 14 April 2008

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

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)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)