PARS: A Process Algebra with Resources and Schedulers

In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this approach is to facili

• Type: Conference
• Year: 2003
• Where: FORMATS
• Authors: Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
• Keywords: FORMATS 2003, Process Algebraic Formalism, Resource Schedulers