The denotational semantics of dynamic networks of processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Semantic models of a timed distributed dataspace architecture
Theoretical Computer Science - Formal methods for components and objects
An assume/guarantee based compositional calculus for hybrid CSP
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
| Hi-index | 0.00 |