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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebra of communicating processes with abstraction
• A process algebra of communicating shared resources with dense time and priorities
• Title not available (Why is that?)

Cited In (10)

• Hiding resources that can fail: An axiomatic perspective
• A real-time process algebra with open intervals and maximal progress
• Formal Modeling and Analysis of Timed Systems
• TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
• Real time process algebra
• PARS: a process algebraic approach to resources and schedulers
• A process algebraic framework for modeling resource demand and supply
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Title not available (Why is that?)
• Resources in process algebra

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)