A hard act to follow
From MaRDI portal
Publication:1566869
DOI10.1023/A:1010053724918zbMath0951.01025MaRDI QIDQ1566869
Publication date: 4 December 2000
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
01A60: History of mathematics in the 20th century
01A70: Biographies, obituaries, personalia, bibliographies
Related Items
A semantics for concurrent separation logic, Resources, concurrency, and local reasoning, The temporal semantics of concurrent programs, Transformational semantics for concurrent programs