Concurrent histories: A basis for observing distributed systems
 |
 |
abstract = {A new notion of transition systems, called distributed transition systems, is introduced, where states are sets of processes and transitions specify which processes stay idle. A notion of observations based on partial orderings, called concurrent histories, is defined on computations. Several observational equivalences, e.g., bisimulation, are given on observations. As case studies, Petri C/E systems and P/T nets, and Milner's CCS are translated to distributed transition systems.},
apice = {ObservationJcss34},
author = {Pierpaolo Degano and Ugo Montanari},
doi = {10.1016/0022-0000(87)90032-8},
journal = {Journal of Computer and System Sciences},
month = apr,
number = {2-3},
numpages = 40,
openalex = {W2027256978},
pages = {422--461},
publisher = {Academic Press},
title = {Concurrent histories: A basis for observing distributed systems},
url = {http://www.sciencedirect.com/science/article/pii/0022000087900328},
volume = 34,
year = 1987
}