The following pages link to Principles of Distributed Systems (Q5466227):
Displaying 9 items.
- On the complexity of partial order trace model checking (Q963347) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Techniques and applications of computation slicing (Q1953245) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Modeling, analyzing and slicing periodic distributed computations (Q2637314) (← links)
- Producing Short Counterexamples Using “Crucial Events” (Q3512512) (← links)
- Testing Distributed Systems Through Symbolic Model Checking (Q3612360) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
