Sciweavers

366 search results - page 74 / 74
» Communication Complexity with Synchronized Clocks
Sort
View
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
11 years 7 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal