The IC model of parallel computation and programming environment

Authors:
E. J. Cameron;D. M. Cohen;B. Gopinath;W. M. Keese, II;L. Ness;P. Uppaluru;J. R. Vollaro
Affiliations:
-;-;-;-;-;-;-
Venue:
ACM SIGCOMM Computer Communication Review
Year:
1988

Citing 7
Cited 0

Computation and automata

Computation and automata
The state of the art in protocol engineering

SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols

IEEE Transactions on Software Engineering
Solution of a problem in concurrent programming control

Communications of the ACM
Software Specification Techniques (International Computer Science Series)

Software Specification Techniques (International Computer Science Series)
Protocol Specification, Testing and Verification: Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, Organized by IBM Research, Ruschlikon, Switzerland, 31 May-2 June, 1983

Protocol Specification, Testing and Verification: Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, Organized by IBM Research, Ruschlikon, Switzerland, 31 May-2 June, 1983
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

The IC* project is an effort to create an environment for the design, specification and development of complex systems such as communication protocols, parallel machines and distributed systems. The basis of this work is the IC* model of parallel computation. In this model a system is specified by a set of invariant expressions which describe its behavior in time. The novel features of the model include: temporal and structural constraints, inherent parallelism, explicit modeling of time, nondeterministic evolution and dynamic activation. The project also includes the construction of a parallel computer specifically designed to support the model of computation. The model of computation, the status of the project and the user environment is the content of this paper.