Towards a formally based component description language
Authors:
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 358-378
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Transformation of combined data type and process specifications using projection algebrasLecture Notes in Computer Science, 1990
- Fundamentals of Algebraic Specification 21990
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- A preprocessor based module system for PrologLecture Notes in Computer Science, 1989
- The Illusion of Reality1989
- The programming language oberonSoftware: Practice and Experience, 1988
- Distributed parallelism of graph transformationsLecture Notes in Computer Science, 1988
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Extensions and foundations of object-oriented programming1986