TAS — A Generic Window Inference System
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 406-423
- https://doi.org/10.1007/3-540-44659-1_25
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- A Program Refinement ToolFormal Aspects of Computing, 1998
- Combining Methods for the Livelock Analysis of a Fault-Tolerant SystemLecture Notes in Computer Science, 1998
- Refinement CalculusPublished by Springer Science and Business Media LLC ,1998
- Structured calculational proofFormal Aspects of Computing, 1997
- Deadlock analysis for a fault-tolerant systemPublished by Springer Science and Business Media LLC ,1997
- Transformational Hierarchical ReasoningThe Computer Journal, 1996
- Program Development by Specification and TransformationLecture Notes in Computer Science, 1993
- Teaching calculation and discriminationCommunications of the ACM, 1991
- Predicate Calculus and Program SemanticsPublished by Springer Science and Business Media LLC ,1990
- The Science of ProgrammingPublished by Springer Science and Business Media LLC ,1981