A process algebra of communicating shared resources with dense time and priorities

DOI10.1016/S0304-3975(96)00229-0zbMath0893.68005OpenAlexW2089501676MaRDI QIDQ1389685

Patrice Brémond-Grégoire, Insup Lee

Publication date: 30 June 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00229-0

zbMATH Keywords

process algebrasreal-time distributed systemsalgebra of communicating shared resources

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items (9)

Resources in process algebra ⋮ A calculus and logic of resources and processes ⋮ A process algebra of communicating shared resources with dense time and priorities ⋮ Improving performance in flexible manufacturing systems ⋮ TPAP ⋮ A timed concurrent constraint language. ⋮ An algebraic framework for urgency ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic ⋮ A Family of Resource-Bound Real-Time Process Algebras

Uses Software

• VERSA

Cites Work

• Real-time logics: Complexity and expressiveness
• Priorities in process algebras
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• A complete axiomatisation for observational congruence of finite-state behaviours
• Turning SOS rules into equations
• A resource-based prioritized bisimulation for real-time systems
• The algebra of timed processes, ATP: Theory and application
• A process algebra of communicating shared resources with dense time and priorities
• Action transducers and timed automata
• A process algebra for timed systems
• Forward and backward simulations. II: Timing-based systems
• Real time process algebra
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
• The Weak Byzantine Generals Problem
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Communicating sequential processes
• A really temporal logic
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A process algebra of communicating shared resources with dense time and priorities