scientific article; zbMATH DE number 1543078

MaRDI QIDQ4520534zbMATH OpenFDO

Authors Uwe Glässer, Rene Karges

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_12/abstract_state_machine_semantics

zbMATH Keywords

abstract SDL machinebasic SDLformal semantic model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine
• A Compositional Petri Net Semantics for SDL
• The formal semantics of SDL-2000: Status and perspectives.
• scientific article; zbMATH DE number 1951533
• Towards a formal foundation of the specification and description language SDL

Cited in

(6)

• The formal semantics of SDL-2000: Status and perspectives.
• An ASM dynamic semantics for standard ML
• On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine
• Finite state machine based: SDL
• scientific article; zbMATH DE number 1951533 (Why is no real title available?)
• scientific article; zbMATH DE number 2177052 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520534)