A family of resource-bound real-time process algebras

DOI10.1016/J.ENTCS.2005.12.085zbMATH Open1316.68097OpenAlexW2569287041MaRDI QIDQ5262969FDOQ5262969

Authors Insup Lee, Anna Philippou, Oleg Sokolsky

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.085

zbMATH Keywords

real-time process algebraprobabilistic behaviorresource modelingpower consumpion

Mathematics Subject Classification ID

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

Recommendations

• Resources in process algebra
• A process algebra of communicating shared resources with dense time and priorities
• Formal Modeling and Analysis of Timed Systems
• PARS: a process algebraic approach to resources and schedulers
• A complete axiomatization of finite-state ACSR processes

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1956596 (Why is no real title available?)
• scientific article; zbMATH DE number 1759621 (Why is no real title available?)
• A process algebra of communicating shared resources with dense time and priorities
• Algebra of communicating processes with abstraction

Cited in

(12)

• scientific article; zbMATH DE number 1956596 (Why is no real title available?)
• PARS: a process algebraic approach to resources and schedulers
• Formal Modeling and Analysis of Timed Systems
• A real-time process algebra with open intervals and maximal progress
• TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
• Resources in process algebra
• A process algebraic framework for modeling resource demand and supply
• Hiding resources that can fail: An axiomatic perspective
• A complete axiomatization of finite-state ACSR processes
• Integrating time and resource into Circus
• Real time process algebra
• Stochastic and Real Time in Process Algebra: A Conceptual Overview

This page was built for publication: A family of resource-bound real-time process algebras

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