6 citations · 11 across the 4 of their papers we have counts for
4 papers
Extensions of Configuration Structures
Cristian Prisacariu
The present paper defines ST-structures (and an extension of these, called STC-structures). The main purpose is to provide concrete relationships between highly expressive concurre…
Higher Dimensional Modal Logic
Cristian Prisacariu
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P…
Actor Network Procedures as Psi-calculi for Security Ceremonies
Cristian Prisacariu
The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties…
The Glory of the Past and Geometrical Concurrency
Cristian Prisacariu
This paper contributes to the general understanding of the geometrical model of concurrency that was named higher dimensional automata (HDAs) by Pratt. In particular we investigate…