Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Send-receive considered harmful: Myths and realities of message passing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Computing
The finite and the infinite in temporal logic
ACM SIGACT News
Encyclopedia of Computer Science
Unifying stabilization and termination in message-passing systems
Distributed Computing
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Modeling fairness and starvation in concurrent systems
ACM SIGSOFT Software Engineering Notes
Fairness and conspiracy concepts in concurrent systems
ACM SIGSOFT Software Engineering Notes
Modeling of state transition rules and its application
ACM SIGSOFT Software Engineering Notes
Automatic refinement of split binary semaphore
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
The essence of monotonic state
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
ACM SIGSOFT Software Engineering Notes
A logic to specify and verify synchronous transitions
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Derivation of distributed programs in the theory of owicki and gries: an example
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Ribbon proofs for separation logic
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Nonblocking algorithms and scalable multicore programming
Communications of the ACM
Nonblocking Algorithms and Scalable Multicore Programming
Queue - Concurrency
| Hi-index | 0.02 |