| Publication | Date of Publication | Type |
|---|
Constraints as processes
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
Deciding bisimulation equivalences for a class of non-finite-state programs
STACS 89 | 2022-08-16 | Paper |
Weak nominal modal logic
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
| Priorities without priorities: representing preemption in psi-calculi | 2021-06-23 | Paper |
Priorities without priorities: representing preemption in psi-calculi
(available as arXiv preprint) | 2021-06-23 | Paper |
Modal logics for nominal transition systems
(available as arXiv preprint) | 2021-03-26 | Paper |
| Modal logics for nominal transition systems | 2021-03-26 | Paper |
| A fully abstract symbolic semantics for psi-calculi | 2021-02-09 | Paper |
| Modal logics for nominal transition systems | 2017-09-12 | Paper |
A sorted semantic framework for applied process calculi (extended abstract)
Trustworthy Global Computing | 2016-11-09 | Paper |
General conditions for full abstraction
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Higher-order psi-calculi
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
The largest respectful function
Logical Methods in Computer Science | 2016-07-06 | Paper |
Psi-calculi in Isabelle
Journal of Automated Reasoning | 2016-05-26 | Paper |
The expressive power of monotonic parallel composition
Programming Languages and Systems | 2016-04-26 | Paper |
A sorted semantic framework for applied process calculi
Logical Methods in Computer Science | 2016-04-19 | Paper |
Expressiveness of process algebras
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
A completeness proof for bisimulation in the pi-calculus using Isabelle
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
Computing strong and weak bisimulations for psi-calculi
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Broadcast psi-calculi with an application to wireless protocols
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Psi-calculi: a framework for mobile processes with nominal data and logic
Logical Methods in Computer Science | 2011-05-26 | Paper |
Psi-calculi in Isabelle
Lecture Notes in Computer Science | 2009-10-20 | Paper |
Formalising the pi-calculus using nominal logic
Logical Methods in Computer Science | 2009-08-20 | Paper |
Extended pi-Calculi
Automata, Languages and Programming | 2008-08-19 | Paper |
Formalising the π-Calculus Using Nominal Logic
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Lecture Notes in Computer Science | 2006-07-07 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2242584 (Why is no real title available?) | 2006-01-02 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| The \(\pi\)-calculus: An introduction | 2002-01-30 | Paper |
| An introduction to the \(\pi\)-calculus. | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1414288 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1223724 (Why is no real title available?) | 1999-02-14 | Paper |
Algebraic theories for name-passing calculi
Information and Computation | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 743585 (Why is no real title available?) | 1995-04-18 | Paper |
Deciding bisimulation equivalences for a class of non-finite-state programs
Information and Computation | 1994-03-24 | Paper |
Structural and behavioural equivalences of networks
Information and Computation | 1994-03-24 | Paper |
| scientific article; zbMATH DE number 177839 (Why is no real title available?) | 1993-05-18 | Paper |
An algebraic verification of a mobile network
Formal Aspects of Computing | 1993-04-01 | Paper |
Submodule construction as equation solving in CCS
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4026813 (Why is no real title available?) | 1987-01-01 | Paper |
