Sciweavers

Share
FORMATS
2003
Springer

PARS: A Process Algebra with Resources and Schedulers

10 years 6 months ago
PARS: A Process Algebra with Resources and Schedulers
In this paper, we introduce a dense time process algebraic formalism with support for speciļ¬cation of (shared) resource requirements and resource schedulers. The goal of this approach is to facili
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FORMATS
Authors Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron
Comments (0)
books