The Value-Passing Calculus

From MaRDI portal
Publication:2842635

DOI10.1007/978-3-642-39698-4_11zbMath1390.68469OpenAlexW153780786MaRDI QIDQ2842635

Yuxi Fu

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_11




Related Items (5)



Cites Work


This page was built for publication: The Value-Passing Calculus