Modalities in analysis and verification
ACM Computing Surveys (CSUR)
A filter model for mobile processes
Mathematical Structures in Computer Science
A Name Abstraction Functor for Named Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
Forward analysis of depth-bounded processes
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
PIC2LNT: model transformation for model checking an applied pi-calculus
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |