Resources in process algebra
From MaRDI portal
Publication:2373652
DOI10.1016/J.JLAP.2007.02.005zbMATH Open1121.68081OpenAlexW2016762881WikidataQ114851560 ScholiaQ114851560MaRDI QIDQ2373652FDOQ2373652
Authors: Insup Lee, Anna Philippou, Oleg Sokolsky
Publication date: 16 July 2007
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/cis_papers/337
Recommendations
- A family of resource-bound real-time process algebras
- 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
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
Cites Work
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bisimulation through probabilistic testing
- Title not available (Why is that?)
- Algebra of communicating processes with abstraction
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- Scheduler modeling based on the controller synthesis paradigm
- Formal Modeling and Analysis of Timed Systems
- A process algebra of communicating shared resources with dense time and priorities
- A complete axiomatization of finite-state ACSR processes
- Title not available (Why is that?)
- TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources
Cited In (9)
- Special issue: Process algebra
- Hiding resources that can fail: An axiomatic perspective
- A family of resource-bound real-time process algebras
- Improving performance in flexible manufacturing systems
- SPAMR: Extending PAMR with Stochastic Time
- Formal Modeling and Analysis of Timed Systems
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
- Virtually timed ambients: a calculus of nested virtualization
- PARS: a process algebraic approach to resources and schedulers
Uses Software
This page was built for publication: Resources in process algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373652)