SoSL 1993: Utrecht, The Netherlands

D. J. Andrews, Jan Friso Groote, C. A. Middelburg (Eds.): Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing Springer 1994, ISBN 3-540-19854-7

@proceedings{DBLP:conf/sosl/1993,
  editor    = {D. J. Andrews and
               Jan Friso Groote and
               C. A. Middelburg},
  title     = {Semantics of Specification Languages (SoSL), Proceedings of the
               International Workshop on Semantics of Specification Languages,
               Utrecht, The Netherlands, 25-27 October 1993},
  booktitle = {Semantics of Specification Languages},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1994},
  isbn      = {3-540-19854-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Stephen Brien: The Development of Z. 1-14
Loe M. G. Feijs: An Overview of the Development of COLD. 15-22
Robert Milne: The Formal Basis for the RAISE Specification Language. 23-50
Gerard R. Renardel de Lavalette: The Static Part of the Design Language COLD-K. 51-82
Flemming M. Damm, Bo Stig Hansen: Generation of Proof Obligations for Type Consistency. 83-100
John S. Fitzgerald, R. Moore: Experiences in Developing a Proof Theory for VDM Specifications. 101-117
Peter Gorm Larsen: Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. 118-134
Hans Toetenel: Loose Real-Time Communicating Agents. 135-151
Michael Schenke: A Timed Specification Language for Concurrent Reactive Systems. 152-167
Egidio Astesiano, Maura Cerioli: Multiparadigm Specification Languages: A First Attempt at Foundations. 168-185
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: The Semantics of Extended ML: A Gentle Introduction. 186-215
T. B. Dinesh: Type-Checking Revisited: Modular Error-Handling. 216-231
Jan Friso Groote, Alban Ponse: Proof Theory for muCRL: A Language for Processes with Data. 232-251
Stephan Kleuker: Case Study: Stepwise Development of a Communication Processor Using Trace Logic. 252-269
Bart Botma: Rendez-vous with Bundle Event Structures. 270-288
Djamel-Eddine Saïdouni, Jean-Pierre Courtiat: Syntactic Action Refinement in Presence of Multiway Synchronisation. 289-303
Gerard R. Renardel de Lavalette: From Implicit via Inductive to Explicit Definitions. 304-314
M. P. A. Sellink: Verifying Process Algebra Proofs in Type Theory. 315-339
Rix Groenboom, Gerard R. Renardel de Lavalette: Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. 340-355