A Resource-Based Prioritized Bisimulation for Real-Time Systems

Abstract

The behavior of concurrent, real-time systems can be specified using a process algebra called CCSR. The underlying computation model of CCSR is resource-based, in which multiple resources execute synchronously, while processes assigned to the same resource are interleaved according to their priorities. CCSR allows the algebraic specification of timeouts… (More)
DOI: 10.1006/inco.1994.1066

Topics

7 Figures and Tables

Cite this paper

@article{Gerber1994ARP, title={A Resource-Based Prioritized Bisimulation for Real-Time Systems}, author={Richard Gerber and Insup Lee}, journal={Inf. Comput.}, year={1994}, volume={113}, pages={102-142} }