Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: high dimensional automata

Sortuj według:

Ogranicz wyniki do:

Unifying Equivalences for Higher Dimensional Automata

Oshevskaya E., Virbitskaite I., Best E.

Fundamenta Informaticae

2012

Vol. 119, nr 3/4

357-372

The intention of the paper is to show how several categorical (open morphisms, path mor- phisms and coalgebraic morphisms based) approaches to an abstract characterization of bisimulation relate to each other and to behavioral bisimulations, in the setting of higher dimensional automata. Such a relating makes it possible to develop a metatheory designed for unified definition and study of equivalences in true concurrency semantics.