default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoSL 1993: Utrecht, The Netherlands
- D. J. Andrews, Jan Friso Groote
, Cornelis A. Middelburg:
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 - 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 µCRL: 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 Synchronization. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-28 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
