A Behavioural Theory for a π-calculus with Preorders
From MaRDI portal
Publication:3455864
DOI10.1007/978-3-319-24644-4_10zbMath1434.68328OpenAlexW2277202962MaRDI QIDQ3455864
Could not fetch data.
Publication date: 11 December 2015
Published in: (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01246094v2/file/978-3-319-24644-4_10_Chapter.pdf
Could not fetch data.
