A spatial logic for concurrency. II

From MaRDI portal
Publication:1881257

DOI10.1016/j.tcs.2003.10.041zbMath1050.68104OpenAlexW2073222985WikidataQ56982084 ScholiaQ56982084MaRDI QIDQ1881257

Luís Caires, Luca Cardelli

Publication date: 4 October 2004

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

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




Related Items (11)


Uses Software


Cites Work




This page was built for publication: A spatial logic for concurrency. II