Semantics of Specification Languages (SoSL)

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

  • D. J. Andrews
  • J. F. Groote
  • C. A. Middelburg

Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Stephen Brien
    Pages 1-14
  3. L. M. G. Feijs
    Pages 15-22
  4. Gerard R. Renardel de Lavalette
    Pages 51-82
  5. Flemming M. Damm, Bo Stig Hansen
    Pages 83-100
  6. J. S. Fitzgerald, R. Moore
    Pages 101-117
  7. Hans Toetenel
    Pages 135-151
  8. Egidio Astesiano, Maura Cerioli
    Pages 168-185
  9. Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
    Pages 186-215
  10. Jan Friso Groote, Alban Ponse
    Pages 232-251
  11. Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
    Pages 289-303
  12. Gerard R. Renardel de Lavalette
    Pages 304-314
  13. M. P. A. Sellink
    Pages 315-339
  14. Rix Groenboom, Gerard R. Renardel de Lavalette
    Pages 340-355
  15. Back Matter
    Pages 357-359

About these proceedings


SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all those who have contributed to the workshop; the Program Committee and the referees for selecting the contributed papers, the invited speakers for their interesting talks, the Organizing Committee for all their efforts, and of course the participants. We have the feeling that the workshop was worthwhile and should be repeated.


design development language logic process algebra proof theory semantics

Editors and affiliations

  • D. J. Andrews
    • 1
  • J. F. Groote
    • 2
  • C. A. Middelburg
    • 2
  1. 1.Department of Mathematics and Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1994
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19854-3
  • Online ISBN 978-1-4471-3229-5
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment