scientific article; zbMATH DE number 1314221
From MaRDI portal
Publication:4256307
zbMath0918.68029MaRDI QIDQ4256307
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=1919002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Enhanced coalgebraic bisimulation ⋮ Bialgebras for structural operational semantics: an introduction ⋮ A general account of coinduction up-to ⋮ Generalised Coinduction ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Coinduction for exact real number computation ⋮ Generalizing Substitution
This page was built for publication:
