Ferroudja Cherief
-
A logic for true concurrency
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory