David Kitchin, Evan Powell, Jayadev Misra
Simulation, Orchestration and Logical Clocks
FM, 2008.
@inproceedings{FM-2008-KitchinPM, author = "David Kitchin and Evan Powell and Jayadev Misra", booktitle = "{Proceedings of the 15th International Symposium of Formal Methods}", doi = "10.1007/978-3-540-68237-0_4", isbn = "978-3-540-68235-6", pages = "34", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Simulation, Orchestration and Logical Clocks}", volume = 5014, year = 2008, }