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
The IC system for protocol development
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
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
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Cooperating sequential processes
The origin of concurrent programming
The IC* system for debugging parallel programs via interactive monitoring and control
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software development
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Empirically Derived Design Issues in Auditory Information Processing for Mobile Telephony
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
Hi-index | 0.00 |
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 the project is the IC* model of parallel computation, in which a system is specified by a set of invariant expressions which describe its behavior in time. The features of this 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 authors discuss the IC* model and the current user language, and describe the architecture and hardware of the prototype supercomputer built to execute IC* programs.