@inbook{730cf26498624eb58bff4f66fc67e084,
title = "A rewriting based model for probabilistic distributed object systems",
abstract = "Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The nondeterminism provides an abstraction over scheduling, network delays, failures and randomization. However a probabilistic model can capture these sources of nondeterminism more precisely and enable statistical analysis, simulations and reasoning. We have developed a general semantic framework for probabilistic systems using probabilistic rewriting. Our framework also allows nondeterminism in the system. In this paper, we briefly describe the framework and its application to concurrent object based systems such as actors. We also identify a sufficiently expressive fragment of the general framework and describe its implementation. The concepts are illustrated by a simple client-server example.",
keywords = "Actors, Maude, Nondeterminism, Probability, Rewrite theory",
author = "Nirman Kumar and Koushik Sen and Jos{\'e} Meseguer and Gul Agha",
year = "2003",
doi = "10.1007/978-3-540-39958-2_3",
language = "English (US)",
isbn = "3540204911",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "32--46",
editor = "Elie Najm and Uwe Nestmann and Perdita Stevens",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}