Sciweavers

3 search results - page 1 / 1
» Open Maps Bisimulations for Higher Dimensional Automata Mode...
Sort
View
76
Voted
FCT
2009
Springer
14 years 7 months ago
Open Maps Bisimulations for Higher Dimensional Automata Models
Elena S. Oshevskaya
LICS
1996
IEEE
15 years 2 months ago
Higher Dimensional Transition Systems
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...
Gian Luca Cattani, Vladimiro Sassone
CAV
2009
Springer
215views Hardware» more  CAV 2009»
15 years 10 months ago
Homer: A Higher-Order Observational Equivalence Model checkER
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...
David Hopkins, C.-H. Luke Ong