Author:Cristian Prisacariu

Publications
The Glory of the Past and Geometrical Concurrency Cristian Prisacariu In:Turing-100. The Alan Turing Centenary

Keyphrases

"during" modality, concurrency models, expressiveness, hereditary history preserving bisimulation, higher dimensional automata, higher dimensional modal logic, past modalities, ST-configuration structures.