scientific article; zbMATH DE number 1543078

zbMath0960.68102MaRDI QIDQ4520534

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract SDL machinebasic SDLformal semantic model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

This page was built for publication: