scientific article; zbMATH DE number 1543078

zbMATH Open0960.68102MaRDI QIDQ4520534FDOQ4520534

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1670515
• 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

zbMATH Keywords

abstract SDL machinebasic SDLformal semantic model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (6)

• Title not available (Why is that?)
• Finite state machine based: SDL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal semantics of SDL-2000: Status and perspectives.

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)