Observational program calculi and the correctness of translations

From MaRDI portal
Publication:2339472

DOI10.1016/j.tcs.2015.02.027zbMath1309.68052OpenAlexW2162146115MaRDI QIDQ2339472

David Sabel, Jan Schwinghammer, Manfred Schmidt-Schauss, Joachim Niehren

Publication date: 1 April 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.02.027




Related Items


Uses Software


Cites Work