Searching for "Real Time Process Algebra." – sorted by Relevance.
-
The State Operator in Real Time Process Algebra
- The State Operator in Real Time Process Algebra J.C.M. Baeten Department of Software Technology
- Add To MetaCart
-
Ordering Processes in a Real-Time Process Algebra
- ) Ordering Processes in a Real-Time Process Algebra Patrice Br'emond-Gr'egoire, Hanene Ben
- Add To MetaCart
-
Implementing a Real-Time Process Algebra in HOL
- L A T & T AT&T Bell Laboratories subject: Implementing a Real-Time Process Algebra in HOL Work
- Add To MetaCart
-
Probabilistic resource failure in real-time process algebra
- Probabilistic Resource Failure in Real-Time Process Algebra ? Anna Philippou1, Oleg Sokolsky2
- Cited by 4 (4 self) – Add To MetaCart
-
Towards the Integration of Real-Time and Probabilistic-Time Process Algebras
- Towards the Integration of Real-Time and Probabilistic-Time Process Algebras Mario Bravetti
- Cited by 3 (1 self) – Add To MetaCart
-
Testing Real-Time Constraints in a Process Algebraic Setting
- ) Testing Real-Time Constraints in a Process Algebraic Setting Duncan Clarke and Insup Lee Department
- Cited by 4 (1 self) – Add To MetaCart
-
A Family Of Resource-Bound Realtime Process Algebras
- @(email omitted);) Abstract This paper describes three real-time process algebras, ACSR, PACSR and ACSR-VP. ACSR is a resource
- Cited by 4 (0 self) – Add To MetaCart
-
A Process Algebra for Real-Time Programs
- A Process Algebra for Real-Time Programs ? Henning Dierks University of Oldenburg, Department
- Cited by 2 (0 self) – Add To MetaCart
-
Software Verification Research Centre
- We describe a new `real-time' process algebra with simple semantics but considerable expressive power
- Add To MetaCart
-
Process Algebra with Timing: Real Time and Discrete Time
- Process Algebra with Timing: Real Time and Discrete Time J.C.M. Baeten 1 and C.A. Middelburg 1
- Cited by 24 (10 self) – Add To MetaCart

