External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bisimulation for Demonic Schedulers

Konstantinos Chatzikokolakis, Gethin J. Norman, David Parker. Bisimulation for Demonic Schedulers. In Luca de Alfaro, editor, Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Volume 5504 of Lecture Notes in Computer Science, pages 318-332, Springer, 2009. [doi]

Authors

Konstantinos Chatzikokolakis

This author has not been identified. Look up 'Konstantinos Chatzikokolakis' in Google

Gethin Norman

Identified as Gethin J. Norman

David Parker

This author has not been identified. Look up 'David Parker' in Google
runs on