Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s
Author: 
David HarelAuthors Info & Claims
David HarelAuthors Info & ClaimsPages 663 - 665
Index Terms
- Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s
Index terms have been assigned to the content through auto-classification.
Recommendations
Psi-Calculi in Isabelle
This paper presents a mechanisation of psi-calculi, a parametric framework for modelling various dialects of process calculi including (but not limited to) the pi-calculus, the applied pi-calculus, and the spi calculus. psi-calculi are significantly ...
Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's
LICS '10: Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer SciencePsi-calculi: Mobile Processes, Nominal Data, and Logic
LICS '09: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer ScienceA psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the ...
Comments
Information & Contributors
Information
Published In
© British Computer Society 2010.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 November 2010
Published in FAC Volume 22, Issue 6
Qualifiers
- News
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 75Total Downloads
- Downloads (Last 12 months)55
- Downloads (Last 6 weeks)15
Reflects downloads up to 08 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in