Paper Info
Title
The reflexive CHAM and the join-calculus
Year
DOI
Venue
1996
10.1145/237721.237805
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Keywords
Field
DocType
relational calculus,programming language,symmetry,formal specification,process calculus,object oriented,z notation
Join-calculus,Reflexivity,Z notation,Relational calculus,Programming language,Computer science,Concurrency,Calculus of communicating systems,Formal specification,Process calculus
Conference
ISBN
Citations 
PageRank 
0-89791-769-3
253
18.40
References 
Authors
18
2
Search Limit
100253
Name
Order
Citations
PageRank
Cédric Fournet13698213.79
Georges Gonthier22275195.06