Jody Threet, John Hale, Sujeet Shenoi  Home/Search
Context Related
| utulsa.edu/~hale/podc96.ps wsu.edu/~sres/podc96.pdf 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: utulsa.edu/~hale/moose (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed system specification and verification are active areas of research. Object technologies have shown great promise for managing the complexities of distributed systems. However, existing formal models for object systems do not capture the concurrency inherent in parallel and distributed systems, and available concurrency formalisms do not easily model objects. This paper describes the Robust Object Calculus (ROC) -- a process calculus for modeling concurrent and distributed objects.... (Update)
Context of citations to this paper: More
...seamless integration of heterogeneous distributed systems. The formal foundation for MOOSE is provided by the Robust Object Calculus (ROC) [24], a process calculus tailored to modeling distributed object systems. ROC will be implemented as an execution model distributed amongst...
...of denotational semantics that map to a formal operational system. The foundation is provided by the Robust Object Calculus (ROC) [60], an executable process calculus tailored to modeling distributed objects. ROC is used to define the Meta Object Model (MOM) as a common...
Cited by: More
Seamless and Secure Interoperation of Heterogeneous Distributed.. - Hale (1996) (Correct)
ROCVM: A Formal Execution Model for High Assurance, Heterogeneous .. - Threet (Correct)
Similar documents (at the sentence level):
50.5%: A Formal Process Calculus And Execution Model For Distributed.. - Threet (1997) (Correct)
21.9%: A Framework for High Assurance Security of Distributed Objects - Hale, Threet, Shenoi (1996) (Correct)
17.3%: A Dual Framework for High Assurance Distributed Object Security - Hale, Threet, Shenoi (1996) (Correct)
Active bibliography (related documents): More All
0.1: Applying the Composition Principle to Verify a Hierarchy of.. - Heckman, Levitt (Correct)
0.1: Towards Applying the Composition Principle to.. - Heckman, Zhang.. (1996) (Correct)
0.1: Compiler Correctness for Parallel Languages - Wand (1994) (Correct)
Similar documents based on text: More All
0.4: An Environment for Developing Securely.. - Berryman, Rummel, .. (Correct)
0.2: Capability-Based Primitives for Access Control in.. - Hale, Threet, Shenoi (1998) (Correct)
0.2: FORM for Pedestrians - Heck (1993) (Correct)
Related documents from co-citation: More All
3: ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
3: Towards an object calculus - Nierstrasz - 1991
3: calculus: A tutorial (context) - Milner, ss- - 1993
BibTeX entry: (Update)
J. Threet, J. Hale, and S. Shenoi. A process calculus for distributed objects (submitted), 1996. http://citeseer.ist.psu.edu/threet96process.html More
@misc{ threet96process,
author = "J. Threet and J. Hale and S. Shenoi",
title = "A process calculus for distributed objects",
text = "J. Threet, J. Hale, and S. Shenoi. A process calculus for distributed objects
(submitted), 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/threet96process.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
149 calculus: A tutorial (context) - Milner, ss- - 1992
145 ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
126 A logical theory of concurrent objects and its realizationin.. (context) - Meseguer - 1993
72 Specification matching of software components - Zaremski, Wing - 1995
62 Issues in the design of a parallel object-oriented language (context) - America - 1989
40 Towards an object calculus - Nierstrasz - 1991
19 A layered semantics for a parallel object-oriented language (context) - America, Rutten - 1992
19 Process-algebraic foundations for an object-based design not.. (context) - Jones - 1993
18 A formalism for real-time concurrent objectoriented computin.. - Satoh, Tokoro - 1992
16 Mechanizing CSP trace theory in higher order logic (context) - Camilleri - 1990
13 calculus semantics for the concurrent configuration language.. - Eisenbach, Paterson - 1993
7 Mechanical verification of distributed algorithms in higher .. - Chou - 1995
6 Towards a formal verification of a secure distributed system.. (context) - Zhang, Shaw et al. - 1994
5 University of Cambridge Computer Laboratory (context) - Melham, theory et al. - 1992
Documents on the same site (http://www.mcs.utulsa.edu/~hale/moose.html):
A Dual Framework for High Assurance Distributed Object Security - Hale, Threet, Shenoi (1996) (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