Reasoning about Meta Level Activities in Open Distributed Systems (1995)
by
Nalini Venkatasubramanian
,
Carolyn Talcott
| Venue: | In Principles of Distributed Computing |
| Citations: | 42 - 18 self |
BibTeX
@INPROCEEDINGS{Venkatasubramanian95reasoningabout,
author = {Nalini Venkatasubramanian and Carolyn Talcott},
title = {Reasoning about Meta Level Activities in Open Distributed Systems},
booktitle = {In Principles of Distributed Computing},
year = {1995},
pages = {144--152}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we consider remote creation, migration, and reachability snapshot services: their specification at different levels of abstraction, and their composition. 1.1 About Actors
