scientific article; zbMATH DE number 1852174
From MaRDI portal
Recommendations
Cited in
(17)- An algebraic approach to the VERILOG programming.
- scientific article; zbMATH DE number 139816 (Why is no real title available?)
- scientific article; zbMATH DE number 1949639 (Why is no real title available?)
- Towards a modeling language for cyber-physical systems
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
- scientific article; zbMATH DE number 2079820 (Why is no real title available?)
- A UTP approach for rTiMo
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Applying formal verification to an open-source real-time operating system
- A Denotational Semantics for Handel-C
- Structural operational semantics for a portable subset of behavioral VHDL-93
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- A relational approach to an algebraic community: from Paul Erdős to He Jifeng
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- Jifeng He at Oxford and beyond: an appreciation
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 Q4787253)
