A semantics preserving actor translation

DOI10.1007/3-540-63165-8_193zbMath1401.68026OpenAlexW1014131874MaRDI QIDQ4571968

Could not fetch data.

Publication date: 4 July 2018

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_193

Mathematics Subject Classification ID

Could not fetch data.