scientific article; zbMATH DE number 1314227

zbMath0918.68062MaRDI QIDQ4256313

Hiroshi Watanabe, A. John Power

Publication date: 12 July 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=19#19008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items (5)

Bialgebras for structural operational semantics: an introduction ⋮ Generalised Coinduction ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Well-behaved Translations between Structural Operational Semantics ⋮ Bialgebraic Methods in Structural Operational Semantics

This page was built for publication: