zbMath0918.68022MaRDI QIDQ4256308
Sławomir Lasota
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=1919003
zbMATH Keywords
bisimulationcoalgebras morphisms
Mathematics Subject Classification ID
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Related Items