R. van Glabbeek. Bisimulations for higher dimensional automata. Communication to the concurrency mailing list (available from http://theory.stanford.edu/people/rvg/hda), 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended.. - Fiore, al. (1997) (12 citations) (Correct)
....be available. This might help in settling our first conjecture (see Section 3, x Complete cuboidal sets) which is important for our representation programme. At a more speculative level, we wonder what the relationship is between this work and presheaf or higherdimensional models of concurrency [23, 42, 6, 41, 19, 18, 5, 20]. ....
R. van Glabbeek. Bisimulations for higher dimensional automata. Communication to the concurrency mailing list (available from http://theory.stanford.edu/people/rvg/hda), 1991.
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