A General Categorical Connection between Local Event Structures and Local Traces
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Regular Event Structures and Finite Petri Nets: A Conjecture
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Regular event structures and finite Petri nets: a conjecture
Formal and natural computing
A nice labelling for tree-like event structures of degree 3
Information and Computation
Modal logic over higher dimensional automata
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Fundamenta Informaticae
A nice labelling for tree-like event structures of degree 3
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes
Journal of Combinatorial Theory Series B
Hi-index | 5.23 |