| Publication | Date of Publication | Type |
|---|
Preemptive type checking
Journal of Logical and Algebraic Methods in Programming | 2018-11-01 | Paper |
| Contextual equivalence for higher-order \(\pi\)-calculus revisited | 2016-05-03 | Paper |
Compositional reachability in Petri nets
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Making the unobservable, unobservable
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Typed behavioural equivalences for processes in the presence of subtyping
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
| The lax braided structure of streaming I/O | 2012-09-18 | Paper |
Permission-based separation logic for message-passing concurrency
Logical Methods in Computer Science | 2012-04-02 | Paper |
Deriving structural labelled transitions for mobile ambients
Information and Computation | 2010-10-07 | Paper |
| Deriving labelled transition systems -- a structural approach | 2009-09-22 | Paper |
Deriving Structural Labelled Transitions for Mobile Ambients
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Full abstraction for polymorphic \(\pi \)-calculus
Theoretical Computer Science | 2008-03-05 | Paper |
Contextual equivalence for higher-order pi-calculus revisited
Logical Methods in Computer Science | 2007-10-11 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Semantic Barbs and Biorthogonality
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 |
safeDpi: a language for controlling mobile code
Acta Informatica | 2006-01-10 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
A fully abstract may testing semantics for concurrent objects
Theoretical Computer Science | 2005-06-30 | Paper |
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
Towards a behavioural theory of access and mobility control in distributed systems
Theoretical Computer Science | 2004-10-04 | Paper |
A theory of bisimulation for a fragment of concurrent ML with local names
Theoretical Computer Science | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 1956519 (Why is no real title available?) | 2003-07-30 | Paper |
Unique fixpoint induction for message-passing process calculi
Science of Computer Programming | 2002-02-05 | Paper |
Bisimulations for a calculus of broadcasting systems
Theoretical Computer Science | 1999-06-22 | Paper |
| scientific article; zbMATH DE number 1088043 (Why is no real title available?) | 1997-11-17 | Paper |
