AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Compositional Verification of CCS Processes
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
A logic for distributed higher order π-calculus
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
State inference for dynamically changing interfaces
Computer Languages
First-order reasoning for higher-order concurrency
Computer Languages, Systems and Structures
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Symbolic bisimulation for a higher-order distributed language with passivation
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |