S. Graf and J. Sifakis. A modal characterization of observational congruence on nite terms of CCS. Information and Control, 68:125-145, 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Characteristic Formulae for Timed Automata - Aceto.. (2000) (1 citation) (Correct)
Beyond ProCoS at Kiel: A Synopsis of Recent Research - Fränzle, Goerigk, von.. (1999) (Correct)
Derivation of Characteristic Formulae - Müller-Olm (Correct)
Results on Event-Recording Logic - Sorea (2001) (Correct)
Ready Simulation, Bisimulation, and the Semantics of CCS-Like.. - Bloom (1993) (Correct)
Beyond ProCoS at Kiel: A Synopsis of Recent Research - Fränzle, Goerigk, von.. (Correct)
From Timed Automata to Logic - and Back - Laroussinie, Larsen, Weise (1995) (31 citations) (Correct)
Inductive Inference of Algebraic Processes based on.. - Togashi, Kimura (Correct)
Compositionality via cut-elimination: Hennessy-Milner logic for.. - Simpson (1995) (17 citations) (Correct)
From Timed Automata to Logic - and Back - Laroussinie, Larsen, al. (1995) (31 citations) (Correct)
Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (2002) (Correct)
Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (Correct)
Sequent Calculi for Process Verification: Hennessy-Milner Logic.. - Simpson (Correct)
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