Stepwise Refinement of Distributed Systems
Subtitle: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)
Contributors: Jaco W. De Bakker (Editor); Willem-Paul De Roever (Editor); Grzegorz Rozenberg (Editor)
Publisher: Springer
Published: May 1990
Language: eng
Format: Paperback
Number of pages: 808
ISBN-13: 9783540525592
Subjects: Computer architecture & logic design; Client-Server Computing - General; Logic Design; Networking - General; Computers - General Information
First sentence: The transition-axiom method specifies concurrent systems by a combination of abstract programs and temporal logic [Lam89].