Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Mechanical certification of systolic algorithmsJournal of Automated Reasoning, 1989
- UMIST OBJ: a Language for Executable Program SpecificationsThe Computer Journal, 1989
- Reasoning about systolic algorithmsJournal of Parallel and Distributed Computing, 1988
- An Introduction to Pixel-planes and other VLSI-Intensive Graphics SystemsPublished by Springer Nature ,1988
- Fast spheres, shadows, textures, transparencies, and imgage enhancements in pixel-planesACM SIGGRAPH Computer Graphics, 1985
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- Rapid prototypingACM SIGSOFT Software Engineering Notes, 1982