Communication with directed logic variables
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of distributed programs using representative interleaving sequences
Distributed Computing
Information and Computation
Proving ATL* properties of infinite-state systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
Hi-index | 0.00 |