A complete algebraic characterization of behavioral subtyping
From MaRDI portal
Publication:1977078
DOI10.1007/S002360050168zbMath0951.68018OpenAlexW2004756043MaRDI QIDQ1977078
Publication date: 9 May 2000
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1111&context=cs_techreports
Related Items (5)
A Mathematical Life ⋮ A short overview of Hidden Logic ⋮ A Coalgebraic Semantics of Subtyping ⋮ Sub-behaviour relations for session-based client/server systems ⋮ Inheritance of behavior
This page was built for publication: A complete algebraic characterization of behavioral subtyping
