Sciweavers

LICS
1996
IEEE
14 years 3 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