Nicollin, X., Sifakis, J.: The algebra of timed processes ATP: theory and application, Information and Computation, Vol. 114(1), pp. 131-178, (1994). Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Action Transducers and Timed Automata - Lynch, Vandrager (1996) (4 citations) (Correct)
On Modeling Real-time Mobile Processes - Lee (Correct)
Structure and Hierarchy in Real-Time Systems - Möller (2002) (Correct)
Action Transducers and Timed Automata - Lynch, Vaandrager (1992) (4 citations) (Correct)
Simulation Techniques For Proving Properties Of Real-Time Systems - Lynch (1993) (13 citations) (Correct)
Truth of Duration Calculus Formulae in Timed Frames - Middelburg (1996) (1 citation) (Correct)
A Complete Axiomatization of Timed Bisimulation for a Class.. - Aceto, Jeffrey (1994) (8 citations) (Correct)
Compiling Timed Algebras into Timed Automata - Yovine (1992) (1 citation) (Correct)
Semantics of Timed Concurrent Systems - Piotr Dembiski Institute (1997) (1 citation) (Correct)
Process Algebra - Cleaveland, Smolka (1999) (2 citations) (Correct)
Variable Binding Operators in Transition System Specifications - Middelburg (2001) (1 citation) (Correct)
Predicative Specification of Timed Processes - Schenke (1991) (Correct)
Real-time Concepts for a Formal Specification Language for.. - Geilen, Voeten (1997) (3 citations) (Correct)
Control of Discrete Event Systems - Research at the.. - Overkamp, van Schuppen (1995) (Correct)
Action Transducers and Timed Automata - Lynch, Vaandrager (1992) (4 citations) (Correct)
Truth of Duration Calculus Formulae in Timed Frames - Middelburg (1998) (1 citation) (Correct)
A Comparison of Additivity Axioms in Timed Transition.. - Jeffrey, Schneider.. (1993) (4 citations) (Correct)
Modal Logics in Timed Process Algebras - Brim (1992) (Correct)
The Soundness and Completeness of ACSR (Algebra of .. -.. (Correct)
Control of Discrete Event Systems - Research at the.. - Overkamp, van Schuppen (1995) (Correct)
A Process Algebra of Communicating Shared Resources.. - Patrice.. (Correct)
A Comparison of Additivity Axioms in Timed Transition.. - Jeffrey, Schneider.. (1993) (4 citations) (Correct)
Real Time Process Algebra with Time-dependent Conditions - Baeten, Middelburg (Correct)
LOTOS NT User Manual - Sighireanu (2000) (Correct)
An upward compatible timed extension to LOTOS - Leduc (1992) (8 citations) (Correct)
The Tick-Tock Case Study for the Assessment of Timed FDTs - Léonard, Leduc, Danthine (1994) (Correct)
A timed LOTOS supporting a dense time domain and including.. - Leduc, Léonard (1993) (9 citations) (Correct)
Variable Binding Operators in Transition System Specifications - Middelburg (2001) (1 citation) (Correct)
Discrete-Time Process Algebra with Empty Process - Baeten, Vereijken (1997) (Correct)
Discrete-time Process Algebra and the Semantics of SDL - Bergstra, Middelburg, Usenko (1998) (5 citations) (Correct)
Discrete Time Process Algebra and the Semantics of SDL - Bergstra, Middelburg, Usenko (1998) (5 citations) (Correct)
Process Algebra with Timing: Real Time and Discrete Time - Baeten, Middelburg (2000) (3 citations) (Correct)
Process Algebra with Timing: Real Time and Discrete Time - Baeten, Middelburg (2000) (3 citations) (Correct)
Truth of Duration Calculus Formulae in Timed Frames - Middelburg (1998) (1 citation) (Correct)
Process Algebra with Timing: Real Time and Discrete Time - Baeten, Middelburg (2000) (3 citations) (Correct)
Real Time Process Algebra with Time-dependent Conditions - Baeten, Middelburg (Correct)
A Complete Axiomatization of Finite-state ACSR Processes -.. (1997) (Correct)
Towards the Integration of Real-Time and Probabilistic-Time.. - Bravetti (1999) (1 citation) (Correct)
Chapter 5 Constraint-oriented Behaviour Composition - This Chapter Introduces (Correct)
Observational Congruence in a Stochastic Timed Calculus with .. - Hermanns, Lohrey (1997) (2 citations) (Correct)
An Experiment with the LOTOS Formal Description Technique on .. - Garavel, Hautbois (1993) (Correct)
Graphical Communicating Shared Resources: a Language for.. - Ben-Abdallah, Lee (1997) (Correct)
Truth of Duration Calculus Formulae in Timed Frames - Middelburg (1996) (1 citation) (Correct)
MASS - A Real-Time Activation Oriented Specification Language - Gafni (1995) (1 citation) (Correct)
Real-time Property Preservation in Concurrent Real-time.. - Huang, Voeten, Geilen (Correct)
Real Time Process Algebra With Time-Dependent Conditions - Baeten, Middelburg (2001) (Correct)
PARS: A Process Algebra with - Resources And Schedulers (Correct)
From ATP to Timed Graphs and Hybrid Systems - Xavier Nicollin Joseph (1992) (103 citations) Self-citation (Nicollin Sifakis) (Correct)
Compiling Real-Time Specifications into Extended Automata - Nicollin, Sifakis, Yovine (1992) (58 citations) Self-citation (Nicollin Sifakis) (Correct)
From ATP to Timed Graphs and Hybrid Systems - Nicollin, Sifakis, Yovine (1993) (103 citations) Self-citation (Nicollin Sifakis) (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