Searching for "Real Time Process Algebra." – sorted by Relevance.
104 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
