scientific article; zbMATH DE number 1852174

zbMath1002.68507MaRDI QIDQ4787253

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical problems of computer architecture (68M07)

Related Items (6)

A UTP approach for rTiMo ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng ⋮ Towards a Modeling Language for Cyber-Physical Systems

This page was built for publication: