J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2. Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) Self-citation (Leifer) (Correct)
No context found.
J. J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, part 2. 2002. Submitted for publication. Available from http://pauillac.inria.fr/#leifer/.
Locating Reaction with 2-categories - Vladimiro Sassone Pawel (2005) (Correct)
No context found.
J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2. Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002.
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
No context found.
Leifer, J. 2002. Synthesising labelled transitions and operational congruences in reactive systems, part 2. Tech. Report RR-4395, INRIA Rocquencourt.
Deriving Bisimulation Congruences: 2-categories vs.. - Vladimiro Sassone Pawel (2003) (3 citations) (Correct)
No context found.
J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2. Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002.
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone, al. (2002) (2 citations) (Correct)
No context found.
J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, part 2. Technical Report RR-4395, INRIA Rocquencourt, 2002.
Deriving Bisimulation Congruences: 2-categories vs.. - Sassone, Sobocinski (2003) (3 citations) (Correct)
No context found.
J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2. Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002.
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone (2002) (2 citations) (Correct)
No context found.
J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, part 2. Technical Report RR-4395, INRIA Rocquencourt, 2002.
Locating Reaction with 2-categories - Sassone, Sobocinski (2004) (Correct)
No context found.
J. Leifer. Synthesising labelled transitions and operational congruences in reactive systems, parts 1 and 2. Technical Report RR-4394 and RR-4395, INRIA Rocquencourt, 2002.
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