Order Isomorphism Does Not Preserve Global
by Arend Rensink, Arend Rensink
http://www.cs.utwente.nl/~rensink/papers/HIB93-10.ps
Add To MetaCart
Abstract:
herausgegeben vom
Citations
| 190 | Algebra of communicating processes with abstraction – Bergstra, Klop - 1985 |
| 86 | Categories of Asynchronous Systems – Bednarczyk - 1988 |
| 76 | Basic notions of trace theory – Mazurkiewicz - 1988 |
| 60 | Transformations and Semantics for LOTOS – Langerak - 1992 |
| 28 | Modelling nondeterministic concurrent processes with event structures – Loogen, Goltz - 1991 |
| 18 | CCS, locations and asynchronous transition systems – Mukund, Nielsen, et al. - 1992 |
| 12 | Causal trees: interleaving + causality – Darondeau, Degano - 1990 |
| 12 | On the consistency of “truly concurrent” operational and denotational semantics (extended abstract – Degano, Nicola, et al. - 1988 |
| 6 | Three equivalent semantics for CCS – Boudol, Castellani - 1990 |
| 2 | Concur '93, volume 715 – Best, editor - 1993 |
| 1 | An operational de of action re – Degano, Gorrieri - 1992 |
| 1 | Semantique des Systemes Reactifs: Ranement, Bisimulations et Semantique Operationelle Structuree dans les Systemes de Transitions Asynchrones – Echague - 1993 |
