scientific article; zbMATH DE number 1852174
From MaRDI portal
Publication:4787253
zbMATH Open1002.68507MaRDI QIDQ4787253FDOQ4787253
Authors: Huibiao Zhu, Jonathan P. Bowen, Jifeng He 
Publication date: 9 January 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440449
Title of this publication is not available (Why is that?)
Recommendations
Cited In (17)
- An algebraic approach to the VERILOG programming.
- A relational approach to an algebraic community: from Paul Erdős to He Jifeng
- Title not available (Why is that?)
- A UTP approach for rTiMo
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Title not available (Why is that?)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Title not available (Why is that?)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Towards a modeling language for cyber-physical systems
- Mechanical approach to linking operational semantics and algebraic semantics for Verilog using Maude
- Structural operational semantics for a portable subset of behavioral VHDL-93
- Generating denotational semantics from algebraic semantics for event-driven system-level language
- Applying formal verification to an open-source real-time operating system
- Jifeng He at Oxford and beyond: an appreciation
- A Denotational Semantics for Handel-C
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)
