Key facts
- number of authors: 7 people
- number of books: 8
- books: A distributed pi-calculus, A polynomial translation of pi-calculus (FCP) to safe petri nets, Automatic verification of privacy properties in the applied pi calculus
- authors: Matthew Hennessy, Ronald Meyer, Stéphanie Delaune
- publication dates: 2007, 2012, 2007
- book publishers: Cambridge University Press, Newcastle UniversityComputing Science, University of Birmingham
Extract data
Download datasets about Pi-calculus:
Dataset of books about Pi-calculus:
"Pi-calculus" is one of the 293,135 book subjects in our database.
Related
Connected or similar to Pi-calculus: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.