Robert Milne The Formal Basis for the RAISE Specification Language. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:23-50 [Conf]
Peter Gorm Larsen Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:118-134 [Conf]
Hans Toetenel Loose Real-Time Communicating Agents. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:135-151 [Conf]
Michael Schenke A Timed Specification Language for Concurrent Reactive Systems. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:152-167 [Conf]
Stephan Kleuker Case Study: Stepwise Development of a Communication Processor Using Trace Logic. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:252-269 [Conf]
Bart Botma Rendez-vous with Bundle Event Structures. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:270-288 [Conf]
M. P. A. Sellink Verifying Process Algebra Proofs in Type Theory. [Citation Graph (0, 0)][DBLP] Semantics of Specification Languages, 1993, pp:315-339 [Conf]