%0 Conference Paper %1 Emmi:2012:FNTE %A Emmi, Michael %A Lal, Akash %B Static Analysis %C Berlin, Heidelberg %D 2012 %E Miné, Antoine %E Schmidt, David %I Springer %K Actors Distribution MessagePassing Termination %P 439--455 %T Finding Non-terminating Executions in Distributed Asynchronous Programs %X Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based communication. As even simple programming mistakes have the capability to introduce divergent behavior, a key liveness property is eventual quiescence: for any finite number of external stimuli (e.g., client-generated events), only a finite number of internal messages are ever created. %@ 978-3-642-33125-1

@inproceedings{Emmi:2012:FNTE, abstract = {Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based communication. As even simple programming mistakes have the capability to introduce divergent behavior, a key liveness property is eventual quiescence: for any finite number of external stimuli (e.g., client-generated events), only a finite number of internal messages are ever created.}, added-at = {2019-08-06T15:28:49.000+0200}, address = {Berlin, Heidelberg}, author = {Emmi, Michael and Lal, Akash}, biburl = {https://www.bibsonomy.org/bibtex/2b32b190fadbbfb7e300db4aa1cb577bc/gron}, booktitle = {Static Analysis}, description = {Finding Non-terminating Executions in Distributed Asynchronous Programs | SpringerLink}, editor = {Min{\'e}, Antoine and Schmidt, David}, interhash = {0b2d43316b2762478da1b436c6e2af87}, intrahash = {b32b190fadbbfb7e300db4aa1cb577bc}, isbn = {978-3-642-33125-1}, keywords = {Actors Distribution MessagePassing Termination}, pages = {439--455}, publisher = {Springer}, timestamp = {2019-08-06T15:28:49.000+0200}, title = {{Finding Non-terminating Executions in Distributed Asynchronous Programs}}, year = 2012 }