Resources in process algebra

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

zbMATH Keywords

schedulability analysisprocess algebrareal-time systemsresource modeling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

• TIMES

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)