Follow
Martin Berger
Martin Berger
Senior lecturer in Informatics, University of Sussex
Verified email at sussex.ac.uk - Homepage
Title
Cited by
Cited by
Year
Strong Normalisation in the π-Calculus
N Yoshida, M Berger, K Honda
Information and Computation 191 (2), 145-202, 2004
1672004
Strong Normalisation in the π-Calculus
N Yoshida, M Berger, K Honda
Information and Computation 191 (2), 145-202, 2004
1672004
Strong Normalisation in the pi-Calculus
N Yoshida, M Berger, K Honda
Information & Computation 191 (2), 145-202, 2004
1672004
The two-phase commitment protocol in an extended π-calculus
M Berger, K Honda
Electronic Notes in Theoretical Computer Science 39 (1), 21-46, 2003
1162003
Sequentiality and the π-calculus
M Berger, K Honda, N Yoshida
Typed Lambda Calculi and Applications: 5th International Conference, TLCA …, 2001
1132001
Sequentiality and the π-calculus
M Berger, K Honda, N Yoshida
Typed Lambda Calculi and Applications, 29-45, 2001
1132001
An observationally complete program logic for imperative higher-order functions
K Honda, N Yoshida, M Berger
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 270-279, 2005
772005
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi
M Berger
International Conference on Concurrency Theory, 115-130, 2004
582004
Towards abstractions for distributed systems
M Berger
Diss. Imperial College, Deptartment of Computing, 2002
532002
Genericity and the π-Calculus
M Berger, K Honda, N Yoshida
Foundations of Software Science and Computation Structures: 6th …, 2003
45*2003
Control in the π-calculus
K Honda, N Yoshida, M Berger
Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW) 4, 2004
442004
Logical reasoning for higher-order functions with local state
N Yoshida, K Honda, M Berger
Logical Methods in Computer Science 4, 2008
422008
Genericity and the π-calculus
M Berger, K Honda, N Yoshida
Acta Informatica 42 (2), 83-141, 2005
422005
Genericity and the π-calculus
M Berger, K Honda, N Yoshida
Acta Informatica 42, 83-141, 2005
422005
Genericity and the π-Calculus
M Berger, K Honda, N Yoshida
Foundations of Software Science and Computation Structures: 6th …, 2003
412003
A logical analysis of aliasing in imperative higher-order functions
M Berger, K Honda, N Yoshida
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
392005
Linearity and bisimulation
N Yoshida, K Honda, M Berger
International Conference on Foundations of Software Science and Computation …, 2002
352002
Linearity and bisimulation
N Yoshida, K Honda, M Berger
Foundations of Software Science and Computation Structures, 1-12, 2002
352002
Descriptive and relative completeness of logics for higher-order functions
K Honda, M Berger, N Yoshida
33rd International Colloquium on Automata, Languages and Programming (ICALP …, 2006
332006
Timed, distributed, probabilistic, typed processes
M Berger, N Yoshida
Asian Symposium on Programming Languages and Systems, 158-174, 2007
302007
The system can't perform the operation now. Try again later.
Articles 1–20