The rest stays unchanged (concurrency and state-based specification) David PittPaddy Byers OriginalPaper Pages: 471 - 494
A logic for reasoning about time and reliability Hans HanssonBengt Jonsson OriginalPaper Pages: 512 - 535
Response to “the formal specification of safety requirements for storing explosives” Peter Gorm Larsen Short Communication Pages: 565 - 568
Specifying distributed CICS in Z: Accessing local and remote resources Iain S. C. HoustonMark B. Josephs Short Communication Pages: 569 - 579