ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities

摘要: This paper describes a timed process algebra called ACSR. ACSR supports synchronous actions and asynchronous instantaneous events. Timed are used to represent the usage of resources model passage time. Events capture synchronization between processes. To be able accurately specify real systems, dense time domain notion priority that can arbitrate among competing for use events ready synchronization. The also defines compositionality preemption two fundamental ways extend priorities individual multiple without sacrificing compositionality.