by Marc L. Smith, Rebecca J. Parsons, Charles E. Hughes, Mostafa A. Bassiouni, Ronald F. Demara
http://www.cs.ucf.edu/~mlsmith/tr9905.pdf
Add To MetaCart
Abstract:
2 In partial ful llment of requirements for candidacy examination. This paper proposes a new computational model for parallel and distributed systems (PDSs). Traditional sequential models of computation (e.g. Turing machines) do not possess the level of abstraction needed for reasoning about critical aspects of parallel and distributed computation. Augmenting a sequential system with additional processors introduces signi cant complexities associated with managing multiple concurrent activities � this is just the parallel aspect of PDSs. Parallel processors that are also distributed across multiple remote locations introduce further complexities associated with the physical limitations of long distance communication. A computational model for PDSs must at once abstract away cumbersome details while providing a mechanism that promotes reasoning about important aspects of such systems. As a rst step toward achieving such a model, this paper presents an operational
Citations
|
1064
|
A Structural Approach to Operational Semantics
– Plotkin
- 1981
|
|
865
|
ACTORS, a model of concurrent computation in distributed systems
– Agha
- 1986
|
|
864
|
Remote Procedure Call
– Nelson
- 1982
|
|
715
|
Generative communication in Linda
– Gelernter
- 1985
|
|
694
|
Parallel Program Design: A Foundation
– Chandy, Misra
- 1988
|
|
261
|
Natural semantics
– Kahn
- 1987
|
|
257
|
The mechanical evaluation of expressions
– Landin
- 1964
|
|
196
|
Corba Fundamentals and Programming
– Siegel
- 1996
|
|
168
|
A foundation for actor computation
– Agha, Smith, et al.
- 1997
|
|
142
|
Hierarchical ordering of sequential processes
– Dijkstra
- 1971
|
|
100
|
Paradigms for process interaction in distributed programs
– Andrews
- 1991
|
|
72
|
The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics
– Hennessy
- 1990
|
|
59
|
ActorSpace: An open distributed programming paradigm
– Agha, Callsen
- 1993
|
|
34
|
Formal Syntax and Semantics of Programming Languages: A laboratory based approach
– Slonneger, Kurtz
- 1995
|
|
29
|
Open Heterogeneous Computing in ActorSpace
– Callsen, Agha
- 1994
|
|
26
|
Reasoning about Java classes (preliminary report
– Jacobs, Berg, et al.
- 1998
|
|
11
|
T spaces
– WYCKOFF
- 1998
|
|
4
|
A formal speci cation of Java Virtual Machine instructions for objects, methods and subroutines
– Qian
- 1998
|
|
3
|
Open Distributed Heterogeneous Computing
– Callsen
- 1997
|
|
3
|
II: The Infospheres Infrastructure User Guide
– Chandy, Kiniry, et al.
- 1997
|
|
3
|
JAVA Distributed Computing. The Java Series. O'Reilly, rst edition
– Farley
- 1997
|
|
2
|
Xpress Transfer Protocol, version 3.6, XTP Forum
– Einstein
- 1900
|
|
2
|
A sampler of formal de nitions
– Marcotty, Ledgard, et al.
- 1976
|
|
2
|
Operational semantics for actors: Toward a parameterized model for reasoning about parallel and distributed computation
– Smith, Parsons, et al.
- 1998
|
|
1
|
URL http://wombat.doc.ic.ac.uk/. The Free On-line Dictionary of Computing is edited by Denis Howe
– FOLDOC
|
|
1
|
Distributed event speci cation. WWW
– Microsystems
- 1998
|
|
1
|
Javaspace speci cation. WWW
– Microsystems
- 1998
|
