Resources in process algebra

DOI10.1016/j.jlap.2007.02.005zbMath1121.68081OpenAlexW2016762881WikidataQ114851560 ScholiaQ114851560MaRDI QIDQ2373652

Anna Philippou, Oleg Sokolsky, Insup Lee

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

zbMATH Keywords

process algebrareal-time systemsschedulability analysisresource modeling

Mathematics Subject Classification ID

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

Related Items

Virtually timed ambients: a calculus of nested virtualization, Improving performance in flexible manufacturing systems, PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling

Uses Software

• TIMES

Cites Work

• Scheduler modeling based on the controller synthesis paradigm
• Algebra of communicating processes with abstraction
• Bisimulation through probabilistic testing
• A complete axiomatization of finite-state ACSR processes
• A process algebra of communicating shared resources with dense time and priorities
• TPAP
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Formal Modeling and Analysis of Timed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item