A formal model for module interconnection languages
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (1) , 88-101
- https://doi.org/10.1109/32.263757
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Delirium: an embedding coordination languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- A formal framework for the design of development environmentsPublished by Association for Computing Machinery (ACM) ,1989
- Specification and verification of liveness properties of cyclic, concurrent processesACM Transactions on Programming Languages and Systems, 1988
- Reusing and Interconnecting Software ComponentsComputer, 1986
- HPC: A model of structure and change in distributed systemsIEEE Transactions on Computers, 1985
- Programming-in-the-Large Versus Programming-in-the-SmallIEEE Transactions on Software Engineering, 1976
- Properties of a Model for Parallel Computations: Determinacy, Termination, QueueingSIAM Journal on Applied Mathematics, 1966