Computer Science Logic
From MaRDI portal
Publication:5311262
DOI10.1007/b100120zbMath1095.68018OpenAlexW2481899496MaRDI QIDQ5311262
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec
Publication date: 22 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Quasi-interpretations. A way to control resources ⋮ Resource control for synchronous cooperative threads
This page was built for publication: Computer Science Logic
