Full abstraction of a real-time denotational semantics for an OCCAM-like language
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compositional Verification of Real-Time Applications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
The compositional approach to sequential consistency and lazy caching
Distributed Computing - Special issue: Verification of lazy caching
| Hi-index | 0.00 |