From CML to Process Algebras (Extended Abstract)

Higher-order concurrent programs with finite communication topology (extended abstract)

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Compiler correctness for parallel languages

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Strategic directions in concurrency research

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research

Programming languages, analysis tools, and concurrency theory

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research

Changeable interfaces and promised messages for concurrent components

Proceedings of the 1999 ACM symposium on Applied computing

Flexible types for a concurrent model

Concurrent object-oriented programming and petri nets

Operational semantics of termination types

Nordic Journal of Computing

Type and Effect Systems

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Non-regular Process Types

Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing

Typing correspondence assertions for communication protocols

Theoretical Computer Science

Region analysis and a π-calculus with groups

Journal of Functional Programming

Type and behaviour reconstruction for higher-order concurrent programs

Journal of Functional Programming

Types for Active Objects with Static Deadlock Prevention

Fundamenta Informaticae

On recommending meaningful names in source and UML

Proceedings of the 2nd International Workshop on Recommendation Systems for Software Engineering

Internal and external token-based synchronization in object-oriented languages

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages

State inference for dynamically changing interfaces

Computer Languages

Types for Active Objects with Static Deadlock Prevention

Fundamenta Informaticae