The information structure of distributed mutual exclusion algorithms
ACM Transactions on Computer Systems (TOCS)
A tree-based algorithm for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems
IEEE Transactions on Computers
A distributed mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Maintaining knowledge about temporal intervals
Communications of the ACM
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Journal of Systems Architecture: the EUROMICRO Journal
The Science of Programming
A Discipline of Programming
Causality and the spatial-temporal ordering in mobile systems
Mobile Networks and Applications
Ordering of events in two-process concurrent system
ACM SIGSOFT Software Engineering Notes
Modeling fairness and starvation in concurrent systems
ACM SIGSOFT Software Engineering Notes
Spatial ordering of messages in a cyclic architecture
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Weakest precondition based method for specification and verification of geographically distributed system is described. For this purpose spatial predicates have been defined. A distributed mutual exclusion algorithm is proposed and is used to illustrate this verification tool.