What processes know: Definitions and proof methods
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A propositional policy algebra for access control
ACM Transactions on Information and System Security (TISSEC)
Temporal aspects of tasks in the user action notation
Human-Computer Interaction
Event-b decomposition for parallel programs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
| Hi-index | 0.00 |