<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-01-08 10:00:18Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2009-01-08 10:00:18Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus |
Add to Reading List |
Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2