The SCEAS System
Navigation Menu

Conferences in DBLP

Semantics of Specification Languages (sosl)
1993 (conf/sosl/1993)

  1. Stephen Brien
    The Development of Z. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:1-14 [Conf]
  2. Loe M. G. Feijs
    An Overview of the Development of COLD. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:15-22 [Conf]
  3. Robert Milne
    The Formal Basis for the RAISE Specification Language. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:23-50 [Conf]
  4. Gerard R. Renardel de Lavalette
    The Static Part of the Design Language COLD-K. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:51-82 [Conf]
  5. Flemming M. Damm, Bo Stig Hansen
    Generation of Proof Obligations for Type Consistency. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:83-100 [Conf]
  6. John S. Fitzgerald, R. Moore
    Experiences in Developing a Proof Theory for VDM Specifications. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:101-117 [Conf]
  7. 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]
  8. Hans Toetenel
    Loose Real-Time Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:135-151 [Conf]
  9. Michael Schenke
    A Timed Specification Language for Concurrent Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:152-167 [Conf]
  10. Egidio Astesiano, Maura Cerioli
    Multiparadigm Specification Languages: A First Attempt at Foundations. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:168-185 [Conf]
  11. Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
    The Semantics of Extended ML: A Gentle Introduction. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:186-215 [Conf]
  12. T. B. Dinesh
    Type-Checking Revisited: Modular Error-Handling. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:216-231 [Conf]
  13. Jan Friso Groote, Alban Ponse
    Proof Theory for muCRL: A Language for Processes with Data. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:232-251 [Conf]
  14. 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]
  15. Bart Botma
    Rendez-vous with Bundle Event Structures. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:270-288 [Conf]
  16. Djamel-Eddine Saïdouni, Jean-Pierre Courtiat
    Syntactic Action Refinement in Presence of Multiway Synchronisation. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:289-303 [Conf]
  17. Gerard R. Renardel de Lavalette
    From Implicit via Inductive to Explicit Definitions. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:304-314 [Conf]
  18. 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]
  19. Rix Groenboom, Gerard R. Renardel de Lavalette
    Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:340-355 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002