On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
暂无分享,去创建一个
[1] Andreas Prinz,et al. Towards a New Formal SDL Semantics based on Abstract State Machines , 1999 .
[2] Joachim Fischer,et al. Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets , 1995 .
[3] Ketil Stølen,et al. An attempt to embed a restricted version of SDL as a target language in Focus , 1994, FORTE.
[4] Yuri Gurevich,et al. The Semantics of the C Programming Language , 1992, CSL.
[5] Dieter Hogrefe,et al. SDL : formal object-oriented language for communicating systems , 1997 .
[6] Itu-T. Specification and Description Language (SDL) , 1999 .
[7] Anders Olsen,et al. Systems Engineering Using SDL-92 , 1994 .
[8] Uwe Glässer,et al. Abstract State Machine Semantics of SDL , 1997, J. Univers. Comput. Sci..
[9] Yuri Gurevich,et al. The Sequential ASM Thesis , 2001, Bull. EATCS.
[10] Egon Börger,et al. A Programmer Friendly Modular Definition of the Semantics of Java , 1999, Formal Syntax and Semantics of Java.
[11] Egon Börger,et al. High Level System Design and Analysis Using Abstract State Machines , 1998, FM-Trends.
[12] Jan A. Bergstra,et al. Process Algebra Semantics of fSDL , 1995 .
[13] Martin Wirsing,et al. Formal Syntax and Semantics of Java , 1999 .
[14] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.