Martin Berger contact@martinfriedrichberger.net



Asynchronous Sessions with Implicit Functions and Messages (with A. Jeffery)
Foundations of meta-programming
Modelling homogeneous generative meta-programming (with L. Tratt, C. Urban)
Cathoristic logic: A modal logic of incompatible propositions (with R. Prideaux Evans)
Process Types as a Descriptive Tool for Interaction (with K. Honda, N. Yoshida)
Program Logics for Homogeneous Meta-Programming (with L. Tratt)
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (with K. Honda, N. Yoshida)
Program Logics for Sequential Higher-Order Control
Timed, Distributed, Probabilistic, Typed Processes (with N. Yoshida)
Distributed Liveness and Timers for Mobile Processes (with N. Yoshida)
Logical Reasoning for Higher-Order Functions with Local State (with N. Yoshida, K. Honda)
Descriptive and Relative Completeness of Logics for Higher-Order Functions (with K. Honda, N. Yoshida)
A Logical Analysis of Aliasing in Imperative Higher-Order Functions (with K. Honda, N. Yoshida)
An Observationally Complete Program Logic for Imperative Higher-Order Functions (with K. Honda, N. Yoshida)
Control in the Pi-Calculus (with K. Honda, N. Yoshida)
Basic Theory of Reduction Congruence for Two Timed Asynchronous Pi-Calculi
Genericity and the Pi-Calculus (with K. Honda, N. Yoshida)
Linearity and Bisimulation (with N. Yoshida, K. Honda)
(Almost) Every Process Calculus has a Compositional and Fully Abstract Encoding into Pi-Calculi
Strong Normalisation in the Pi-Calculus (with N. Yoshida, K. Honda)
Sequentiality and the Pi-Calculus (with K. Honda, N. Yoshida)
Towards Abstractions for Distributed Systems
The Two-Phase Commit Protocol in an Extended Pi-Calculus (with K. Honda)
2003 interview with Robin Milner
S-REPLS 9, May 2018