ACM Computing Surveys (CSUR)
ACM Transactions on Computational Logic (TOCL)
Reasoning about Idealized ALGOL Using Regular Languages
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The essence of computation
The regular-language semantics of second-order idealized ALGOL
Theoretical Computer Science
A game semantics of the asynchronous π-calculus
CONCUR 2005 - Concurrency Theory
Syntactic control of concurrency
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Definability and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Game semantics for higher-order concurrency
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Data-abstraction refinement: a game semantic approach
SAS'05 Proceedings of the 12th international conference on Static Analysis
Compositional model extraction for higher-order concurrent programs
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.01 |