scientific article; zbMATH DE number 1455620

MaRDI QIDQ4485140zbMATH OpenFDO

Authors Victor Bos, J. J. T. Kleijn

Publication date 5 June 2000

zbMATH Keywords

\(\chi\) Core

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Redesign of a systems engineering language: formalisation of \(\chi\)
• scientific article; zbMATH DE number 4156143
• Semantics of production systems
• A semantics for a class of stratified production system programs
• Modelling unit processes using formal language description and object-orientation
• Formalizing operational semantic specifications in logic

Cited in

(5)

• Syntax and consistent equation semantics of hybrid Chi
• Timed Chi: modeling, simulation and verification of hardware systems
• Formal description of Alvis language with \(\alpha^{0}\) system layer
• Formal specification and analysis of hardware systems in timed Chi
• Redesign of a systems engineering language: formalisation of \(\chi\)

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 Q4485140)