×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [equivalent executions]
Home >
equivalent executions
Clocked Mazurkiewicz Traces and Partial Order Reductions for Timed Automata D. Lugiez, P. Niebert, S. Zennou Laboratoire d Informatique Fondamentale de.
213 views
Exercises for Chapter 16: Transactions and Concurrency Control From Coulouris, Dollimore and Kindberg Distributed Systems: Concepts and Design Edition.
256 views