A family of resource-bound real-time process algebras
From MaRDI portal
Publication:5262969
Recommendations
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)