On the relationship between formal semantics and static analysis
ACM Computing Surveys (CSUR)
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Language-based performance prediction for distributed and mobile systems
Information and Computation
Primitives for authentication in process algebras
Theoretical Computer Science
Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Authentication via Localized Names
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Parameterised notions of computation
Journal of Functional Programming
Parametric effect monads and semantics of effect systems
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Hi-index | 5.23 |