Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha  Home/Search
Context
Related
| uiuc.edu/docs/fmoods03/fmoods.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/people (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Active bibliography (related documents): More All
0.3: Maude's Module Algebra - Durán, Meseguer (2000) (Correct)
0.2: Software Specification and Verification in Rewriting Logic - Meseguer (2003) (Correct)
0.2: Towards Behavioral Maude: Behavioral Membership Equational Logic - Meseguer, Rosu (2002) (Correct)
Similar documents based on text: More All
0.6: Probabilistic Rewrite Theories - Kumar, Sen, Meseguer, Agha (Correct)
0.2: Statistical Model Checking of Black-Box Probabilistic Systems - Sen, Viswanathan, Agha (2004) (Correct)
0.2: Randomization in Networks - Kumar (2001) (Correct)
BibTeX entry: (Update)
@misc{ kumar-rewriting,
author = "Nirman Kumar and Koushik Sen and José Meseguer and Gul Agha",
title = "A Rewriting Based Model for Probabilistic Distributed Object Systems",
url = "citeseer.ist.psu.edu/709724.html" }
Citations (may not include all citations):299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
107 A foundation for actor computation - Agha, Mason et al. - 1997
94 Maude: specification and programming in rewriting logic - Clavel, Duran et al. - 2002
69 Membership algebra as a logical framework for equational spe.. - Meseguer - 1998
51 Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 2000
49 Prism: Probabilistic symbolic model checker - Kwiatkowska, Norman et al. - 2002
28 Faster and symbolic CTMC model checking - Katoen, Kwiatkowska et al. - 2001
13 Towards maude - Clavel, Duran et al. - 2001
7 Probabilistic verification of discrete event systems using a.. - Younes, Simmons - 2002
6 The role of generalized semi-Markov processes in simulation .. (context) - Glynn - 1983
4 Parameterized theories and views in full maude (context) - Duran, Meseguer - 2001
1 Probabilistic rewrite theories: Unifying models (context) - Kumar, Sen et al. - 2003
1 edu manualmaude manual (context) - Eker, Oliet et al. - 2003
Documents on the same site (http://www-osl.cs.uiuc.edu/people): More
A Theory of May Testing for Asynchronous Calculi with.. - Thati, Ziaei, Agha (2002) (Correct)
Actors: A Model for Reasoning about Open Distributed Systems - Agha, Thati, Ziaei (2001) (Correct)
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC