Formal Verification of Concurrent Programs Using the Larch Prover
IEEE Transactions on Software Engineering
Information and Computation
A theory of normed simulations
ACM Transactions on Computational Logic (TOCL)
Switched PIOA: parallel composition via distributed scheduling
Theoretical Computer Science - Components and objects
On Backward-Style Anonymity Verification
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Nonblocking algorithms and backward simulation
DISC'09 Proceedings of the 23rd international conference on Distributed computing
| Hi-index | 0.00 |