Martin Berger
✉
contact@martinfriedrichberger.net
A Program Logic for Fresh Name Generation⋆
(with P. Eliott)
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