A Logical Basis for Modular Software and Systems Engineering
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Consistent graphical specification of distributed systemsPublished by Springer Nature ,1997
- Refinement of TimePublished by Springer Nature ,1997
- Algebraic specification of reactive systemsPublished by Springer Nature ,1996
- Program Design CalculiPublished by Springer Nature ,1993
- Adding action refinement to a finite process algebraLecture Notes in Computer Science, 1991
- Refinement calculus, part I: Sequential nondeterministic programsPublished by Springer Nature ,1990
- Functional specification of time sensitive communicating systemsPublished by Springer Nature ,1990
- Refinement calculus, part II: Parallel and reactive programsPublished by Springer Nature ,1990
- A proof of the Kahn principle for input/output automataInformation and Computation, 1989
- Proof of correctness of data representationsActa Informatica, 1972