Abstract
Formal semantics for a new model for parallel computation called IC* is defined. This model differs widely from existing parallel models and is suitable for describing hardware and communication protocols with real time properties. Its interesting features are the absence of interleaving assumptions and a high-level predicate-based specification and programming language. In this paper, the semantics of IC* is given by first describing the basic idea of a behavior and later building on this definition to obtain three increasingly complex models of computation. Finally, the IC* model is compared with some existing formalisms.
This work was done while the authors were at Bellcore.
Preview
Unable to display preview. Download preview PDF.
References
Aggarwal, S., D. Barbara, and K. Z. Meth, “Specifying and Analyzing Protocols with SPANNER,” Proceedings of the IEEE International Conference on Communications, Toronto, Canada, 1986.
Aggarwal, S., D. Barbara, and K. Z. Meth, “SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols,” IEEE Transactions on Software Engineering, March 1988.
Backus, J., “Can Programming Be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs,” CACM 21:8, August 1978.
Cameron, E. J., D. M. Cohen, B. Gopinath, W. M. Keese II, L. Ness, P. Uppaluru, and J. Vollaro, “The IC* Model of Parallel Computation and Programming Environment,” IEEE Transactions on Software Engineering, March 1988.
Chandy, C. M., “Concurrent Programming for the Masses,” invited address, Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, Canada, 1984.
Chandy, K. M. and J. Misra, Parallel Program Design: A Foundation, Reading, Mass.: Addison-Wesley 1988.
Cohen, D. M., and E. J. Isganitis, “Automatic Generation of a Prototype of a New Protocol from its Specification,” IEEE Global Telecommunications Conference, Houston, Texas, 1986.
Cohen, D. M. and T. M. Guinther, “The IC* System for Protocol Development,” Proceedings of SIGCOMM 1987, Stowe, Vermont, 1987.
Cohen, D. M., M. L. Honig, W. M. Keese, P. Levin, J. Myers, P. Uppaluru, D. Slepian, and J. R. Vollaro, “IC*: An Environment for Specifying Complex Systems,” IEEE Global Telecommunications Conference, Houston, Texas, 1986.
Jahanian, F. and A. K. Mok, “Safety Analysis of Timing Properties in Real-Time Systems,” IEEE Transactions on Software Engineering, Sept. 1986.
Narayana, K. T., and A. A. Aaby, “Specification of Real-Time Systems in Real-Time Temporal Interval Logic”, IEEE Conference on Real-Time Systems, 1988.
Pnueli, A., “The Temporal Semantics of Concurrent Programs,” Theoretical Computer Science, 13, 1981.
Shankar, A. U., and S. S. Lam, “Time Dependent Distributed Systems: Proving Safety, Liveness, and Real-Time Properties,” Distributed Computing, August 1987.
Singh, A., and P. Uppaluru, “A Formal Description of the IC* Model of Parallel Computation,” Bellcore Technical Memorandum TM-ARH-012977, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gopinath, B., Singh, A.K., Uppaluru, P. (1991). A formal description of the IC* model of parallel computation. In: Dehne, F., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '91. ICCI 1991. Lecture Notes in Computer Science, vol 497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54029-6_201
Download citation
DOI: https://doi.org/10.1007/3-540-54029-6_201
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54029-8
Online ISBN: 978-3-540-47359-6
eBook Packages: Springer Book Archive