ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata

Authors:
Richard Buckland;Michael Johnson
Affiliations:
-;-
Venue:
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Year:
1996

Transition and cancellation in concurrency and branching time

Mathematical Structures in Computer Science
Geometry and concurrency: a user's guide

Mathematical Structures in Computer Science
Higher dimensional automata revisited

Mathematical Structures in Computer Science
Algebraic topology and concurrency

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Linear process algebra

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology

Hi-index	0.00