An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A distributed scheme for detecting communication deadlocks
IEEE Transactions on Software Engineering
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
A new approach to detection of locally indicative stability
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Current trends in concurrency. Overviews and tutorials
Real time clocks versus virtual clocks
Proc. of the NATO Advanced Study Institute on Control flow and data flow: concepts of distributed programming
A paradigm for detecting quiescent properties in distributed computations
Logics and models of concurrent systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paradigms for Distributed Programs
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985 Munich
A distributed algorithm for detecting resource deadlocks in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Detecting termination of distributed computations using markers
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Elements for a course on the design of distributed algorithms
ACM SIGCSE Bulletin
Detecting atomic sequences of predicates in distributed computations
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Ada-Linda: a powerful paradigm for programming distributed Ada applications
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Distributed deadlock detection in Ada run-time environments
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Consistency Issues in Distributed Checkpoints
IEEE Transactions on Software Engineering
Communication-based prevention of useless checkpoints in distributed computations
Distributed Computing
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing
Detecting Arbitrary Stable Properties Using Efficient Snapshots
IEEE Transactions on Software Engineering
The generalized deadlock resolution problem
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Toward a definition of and linguistic support for partial quiescence
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Research: Modified distributed snapshots algorithm for protocol stabilization
Computer Communications
Hi-index | 0.00 |