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
1092001
Sequentiality and the π-calculus
M Berger, K Honda, N Yoshida
Typed Lambda Calculi and Applications, 29-45, 2001
1092001
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
752005
Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-Calculi
M Berger
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
582004
Towards abstractions for distributed systems
M Berger
Diss. Imperial College, Deptartment of Computing, 2002
512002
Genericity and the pi-calculus
M Berger, K Honda, N Yoshida
FoSSaCS, 103-119, 2003
45*2003
Genericity and the π-calculus
M Berger, K Honda, N Yoshida
Acta Informatica 42 (2), 83-141, 2005
432005
Genericity and the π-calculus
M Berger, K Honda, N Yoshida
Acta Informatica 42, 83-141, 2005
432005
Control in the π-calculus
K Honda, N Yoshida, M Berger
Proc. Fourth ACM-SIGPLAN Continuation Workshop (CW) 4, 2004
432004
Logical Reasoning for Higher-Order Functions with Local State
N Yoshida, K Honda, M Berger
Logical Methods in Computer Science 4 (2), 2008
422008
Logical reasoning for higher-order functions with local state
N Yoshida, K Honda, M Berger
Foundations of Software Science and Computational Structures: 10th …, 2007
422007
Logical reasoning for higher-order functions with local state
N Yoshida, K Honda, M Berger
Foundations of Software Science and Computational Structures: 10th …, 2007
422007
Genericity and the pi-calculus
M Berger, K Honda, N Yoshida
FoSSaCS, 103-119, 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
362005
Linearity and bisimulation
N Yoshida, K Honda, M Berger
Foundations of Software Science and Computation Structures: 5th …, 2002
362002
Linearity and bisimulation
N Yoshida, K Honda, M Berger
Foundations of Software Science and Computation Structures, 1-12, 2002
362002
The system can't perform the operation now. Try again later.
Articles 1–20