ACP and Belnap's logic

Authors
Publication date 08-2005
Host editors
  • L. Aceto
  • A.D. Gordon
Book title Algebraic Process Calculi: The First Twenty Five Years and Beyond
Book subtitle Bertinoro (Forl`ı), Italy, August 1–5, 2005
Series BRICS Notes Series publications
Volume | Issue number 05-03
Pages (from-to) 204-208
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Note Proceedings title: BRICS Notes Series Editors: L. Aceto, A. Gordon
Language English
Published at https://www.brics.dk/NS/05/3/index.html
Other links https://www.microsoft.com/en-us/research/publication/algebraic-process-calculi-first-twenty-five-years-beyond/
Permalink to this page
Back