Sciweavers

Share
4460 search results - page 1 / 892
» Resources in process algebra
Sort
View
FORTE
2001
10 years 2 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
JLP
2007
99views more  JLP 2007»
10 years 1 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
FORMATS
2003
Springer
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 app...
Mohammad Reza Mousavi, Michel A. Reniers, Twan Bas...
TCS
2002
10 years 26 days ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove
CUZA
2002
132views more  CUZA 2002»
10 years 1 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
books