Paper Info
Title
A modal mu-calculus and a proof system for value passing processes
Year
Venue
Field
1996
Electr. Notes Theor. Comput. Sci.
Value passing,Modal,Mathematics,Calculus
DocType
Volume
Citations 
Journal
5
2
PageRank 
References 
Authors
0.42
0
3
Name
Order
Citations
PageRank
Dilian Gurov125726.00
Sergey Berezin227319.10
Bruce M. Kapron330826.02