F. Moller and C. Tofts. A temporal calculus of communicating systems. In Baeten and Klop [BK90], 401--415. (pp 16, 17) Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Performance Evaluation := (Process Algebra + Model Checking) .. - Hermanns, Katoen (Correct)
Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (15 citations) (Correct)
Multimedia in the E-LOTOS Process Algebra - Leduc (2001) (Correct)
A formal definition of time in LOTOS - Léonard, Leduc (1998) (Correct)
A formal definition of time in LOTOS (Short version) - Léonard, Leduc (1998) (Correct)
Action Transducers and Timed Automata - Lynch, Vandrager (1996) (4 citations) (Correct)
A Formalism Combining CCS and CASL - Salaün, Allemand, Attiogbé (2001) (1 citation) (Correct)
Languages and Methods for Specifying Real-Time Systems - Carlson (2002) (Correct)
On Modeling Real-time Mobile Processes - Lee (Correct)
Action Transducers and Timed Automata - Lynch, Vaandrager (1992) (4 citations) (Correct)
Forward and Backward Simulations - Part II: Timing-Based Systems - Lynch, Vandraager (1995) (41 citations) (Correct)
LOTOS enhancement to specify time constraint among.. - Nakata, Higashino.. (1993) (Correct)
A Dynamic State Graph for a Timed Process Algebra - Pardo, Valero, Cuartero (2000) (Correct)
Timed Frame Models for . . . - Bergstra (1997) (Correct)
A Dynamic State Graph for a Timed Process Algebra - Pardo, Valero, Cuartero, Ruiz (2000) (Correct)
A Complete Axiomatization of Timed Bisimulation for a Class.. - Aceto, Jeffrey (1994) (8 citations) (Correct)
Conservative Extension in Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (Correct)
The Modelling of Temporal Properties in a Process Algebra Framework - Cowie (1999) (Correct)
Equivalence Semantics for Concurrency: Comparison and Application - Galpin (1998) (Correct)
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
Forward and Backward Simulations for Timing-Based Systems - Lynch, Vaandrager (1991) (41 citations) (Correct)
Real Time Process Algebra With Time-Dependent Conditions - Baeten, Middelburg (2001) (Correct)
Performance Evaluation With Temporal Rewards - Voeten (2002) (1 citation) (Correct)
Validation, Verification and Implementation of.. - Bradley.. (1995) (Correct)
Automated compositional Markov chain generation for a.. - Hermanns, Katoen (2000) (10 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC