Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 - Bisimulation - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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