3 search results - page 1 / 1 » Open Maps Bisimulations for Higher Dimensional Automata Mode... |
86
Voted
FCT
2009
Springer
14 years 10 months ago
2009
Springer
92
Voted
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
CAV
2009
Springer
16 years 26 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...