Communicating sequential processes
Communicating sequential processes
Verification of multiprocess probabilistic protocols
Distributed Computing
Parallel program design: a foundation
Parallel program design: a foundation
Fast randomized consensus using shared memory
Journal of Algorithms
Reasoning about probabilistic algorithms
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Randomized mutual exclusion algorithms revisited
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Action Transducers and Timed Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Efficient Algorithms for Verification of Equivalences for Probabilistic Processes
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Another advantage of free choice (Extended Abstract): Completely asynchronous agreement protocols
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Forward and backward simulations -- Part II: timing-based systems.
Forward and backward simulations -- Part II: timing-based systems.
LIVENESS IN TIMED AND UNTIMED SYSTEMS
LIVENESS IN TIMED AND UNTIMED SYSTEMS
Formal verification of timed properties of randomized distributed algorithms
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Automatic verification of liveness properties of randomized systems
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Survivability analysis of networked systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
On the generalized dining philosophers problem
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Theoretical Computer Science
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Reduction and Refinement Strategies for Probabilistic Analysis
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Reduction and Refinement Strategies for Probabilistic Analysis
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Compositional Verification of Randomized Distributed Algorithms
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Randomized dining philosophers without fairness assumption
Distributed Computing
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
Cost-based analysis of probabilistic programs mechanised in HOL
Nordic Journal of Computing
Switched PIOA: parallel composition via distributed scheduling
Theoretical Computer Science - Components and objects
A testing scenario for probabilistic processes
Journal of the ACM (JACM)
Switched probabilistic i/o automata
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Compositional reasoning for probabilistic finite-state behaviors
Processes, Terms and Cycles
| Hi-index | 0.00 |