Relating State-Based and Process-Based Concurrency through Linear Logic

From MaRDI portal
Publication:4917995

DOI10.1016/j.entcs.2006.05.043zbMath1262.68136OpenAlexW2086165437MaRDI QIDQ4917995

Iliano Cervesato, Andrej Scedrov

Publication date: 3 May 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.05.043



Related Items


Uses Software


Cites Work