Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Logic in computer science / Bisimulation / Applied mathematics / Mathematics / Scheduling / Transition system / -calculus


Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2
Add to Reading List

Document Date: 2009-01-08 10:00:18

Open Document

File Size: 195,30 KB

Share Result on Facebook
UPDATE