The IC* model of parallel computation and programming environment
- 1 March 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (3) , 317-326
- https://doi.org/10.1109/32.4652
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A software environment for the specification and analysis of problems of coordination and concurrencyIEEE Transactions on Software Engineering, 1988
- The IC system for protocol developmentACM SIGCOMM Computer Communication Review, 1987
- The state of the art in protocol engineeringPublished by Association for Computing Machinery (ACM) ,1986
- A Validation Technique for Tightly Coupled ProtocolsIEEE Transactions on Computers, 1982
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980
- Solution of a problem in concurrent programming controlCommunications of the ACM, 1965