Semantics of Specification Languages

Keyphrases

Publications

1994

Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 Semantics of Specification Languages (1994)

1993

Peter Gorm Larsen
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. Semantics of Specification Languages (1993)
T. B. Dinesh
Type-Checking Revisited: Modular Error-Handling. Semantics of Specification Languages (1993)
Michael Schenke
A Timed Specification Language for Concurrent Reactive Systems. Semantics of Specification Languages (1993)
Gerard R. Renardel de Lavalette
From Implicit via Inductive to Explicit Definitions. Semantics of Specification Languages (1993)
Stephan Kleuker
Case Study: Stepwise Development of a Communication Processor Using Trace Logic. Semantics of Specification Languages (1993)
Loe M. G. Feijs
An Overview of the Development of COLD. Semantics of Specification Languages (1993)
John S. Fitzgerald, R. Moore
Experiences in Developing a Proof Theory for VDM Specifications. Semantics of Specification Languages (1993)
Hans Toetenel
Loose Real-Time Communicating Agents. Semantics of Specification Languages (1993)
Gerard R. Renardel de Lavalette
The Static Part of the Design Language COLD-K. Semantics of Specification Languages (1993)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages (1993)
Egidio Astesiano, Maura Cerioli
Multiparadigm Specification Languages: A First Attempt at Foundations. Semantics of Specification Languages (1993)
Stephen Brien
The Development of Z. Semantics of Specification Languages (1993)
Jan Friso Groote, Alban Ponse
Proof Theory for µCRL: A Language for Processes with Data. Semantics of Specification Languages (1993)
Bart Botma
Rendez-vous with Bundle Event Structures. Semantics of Specification Languages (1993)
Rix Groenboom, Gerard R. Renardel de Lavalette
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. Semantics of Specification Languages (1993)
M. P. A. Sellink
Verifying Process Algebra Proofs in Type Theory. Semantics of Specification Languages (1993)
Flemming M. Damm, Bo Stig Hansen
Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages (1993)
Robert Milne
The Formal Basis for the RAISE Specification Language. Semantics of Specification Languages (1993)
Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
Syntactic Action Refinement in Presence of Multiway Synchronization. Semantics of Specification Languages (1993)