A Look Around the Corner: The Pi-Calculus
From MaRDI portal
Publication:3623819
DOI10.1007/978-3-642-00899-3_4zbMath1235.68110OpenAlexW1579866464MaRDI QIDQ3623819
Publication date: 24 April 2009
Published in: Transactions on Petri Nets and Other Models of Concurrency II (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00899-3_4
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Cites Work