Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: G. Rozenberg (Editor)
Publisher: Springer
Published: June 1990
Language: eng
Number of pages: 808
ISBN-13: 9780387525594
First sentence: The transition-axiom method specifies concurrent systems by a combination of abstract programs and temporal logic [Lam89].