Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/~leifer. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Bigraphical Reactive Systems: Basic Theory - Milner (2001) (2 citations) (Correct)
....arrive at quite tractable transition systems for which, moreover, bisimilarity and other familiar behavioural preorders and equivalences are guaranteed to be congruences. The first results of this kind appear in Leifer and Milner [19] these were extended and refined in Leifer s PhD Dissertation [18], which is the most comprehensive reference. The notion of reactive system is defined categorically, and one of the required conditions is that, in the appropriate precategory, sufficient relative pushouts (RPOs) exist. In a pilot study, Cattani et al. [4] we showed that this condition holds for ....
....from regions. 3 Mathematical basis In this section we develop the mathematical framework in which we shall analyse bigraphs. These definitions and theorems are an adaptation of work which was started in Leifer and Milner [19] and was then refined and extended by Leifer in his PhD Dissertation [18], which is the fullest exposition. In Subsection 3.1 we introduce (monoidal) well supported precategories. In Subsection 3.2 we recall the theory of relative pushouts (RPOs) and idem pushouts (IPOs) In Subsection 3.3 we develop wide reactive systems (WRSs) and derive labelled transitions for ....
[Article contains additional citation context not shown here]
Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/leifer . 58
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) Self-citation (Leifer) (Correct)
No context found.
Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/ leifer.
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
No context found.
Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/~leifer.
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001. 28
Locating Reaction with 2-categories - Vladimiro Sassone Pawel (2005) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Deriving Bisimulation Congruences using 2-categories - Sassone, Sobocinski (2003) (Correct)
No context found.
Leifer, J. 2001. Operational congruences for reactive systems. Phd thesis, University of Cambridge.
Reactive Systems over Cospans - Sassone, Sobocinski (2005) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Deriving Bisimulation Congruences: 2-categories vs.. - Vladimiro Sassone Pawel (2003) (3 citations) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (Correct)
No context found.
J. Leifer, Operational congruences for reactive systems, Ph.D. thesis, University of Cambridge (2001).
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone, al. (2002) (2 citations) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
No context found.
J. Leifer, Operational congruences for reactive systems, Ph.D. thesis, University of Cambridge (2001).
Deriving Bisimulation Congruences: 2-categories vs.. - Sassone, Sobocinski (2003) (3 citations) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) (Correct)
No context found.
Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/ leifer.
Coinductive Reasoning for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Technical Report - Number Computer Laboratory (1993) (2 citations) (Correct)
No context found.
Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/ leifer.
Deriving Bisimulation Congruences in the DPO Approach to Graph .. - Ehrig, König (2004) (6 citations) (Correct)
No context found.
James J. Leifer. Operational congruences for reactive systems. PhD thesis, University of Cambridge Computer Laboratory, September 2001.
Deriving Bisimulation Congruences: A 2-categorical Approach - Sassone (2002) (2 citations) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
Bigraphs and Mobile Processes - Jensen, Milner (2004) (7 citations) (Correct)
No context found.
Leifer, J.J. (2001), Operational congruences for reactive systems. PhD Dissertation, University of Cambridge Computer Laboratory. Distributed in revised form as Technical Report 521. Available from http://pauillac.inria.fr/ leifer.
Locating Reaction with 2-categories - Sassone, Sobocinski (2004) (Correct)
No context found.
J. Leifer. Operational congruences for reactive systems. Phd thesis, University of Cambridge, 2001.
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