Finding Non-terminating Executions in Distributed Asynchronous Programs
M. Emmi, and A. Lal. Static Analysis, page 439--455. Berlin, Heidelberg, Springer, (2012)
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.
Description
Finding Non-terminating Executions in Distributed Asynchronous Programs | SpringerLink
%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
}