| Publication | Date of Publication | Type |
|---|
Solos in concert
Mathematical Structures in Computer Science | 2024-09-30 | Paper |
| Deadlock Analysis of Wait-Notify Coordination | 2024-03-14 | Paper |
Liquidity analysis in resource-aware programming
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
Implicit typing à la ML for the join-calculus
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Paths, computations and labels in the λ-calculus
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Optimal reductions in interaction systems
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Mobility in the CC-paradigm
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
| Statically and dynamically verifiable SLA metrics | 2021-05-20 | Paper |
| A lightweight deadlock analysis for programs with threads and reentrant locks | 2021-05-04 | Paper |
Time analysis of actor programs
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
Reversibility in massive concurrent systems
(available as arXiv preprint) | 2019-02-08 | Paper |
Deadlock detection of Java bytecode
(available as arXiv preprint) | 2018-09-06 | Paper |
On the dynamics of sharing graphs
Automata, Languages and Programming | 2018-07-04 | Paper |
Deadlock analysis of unbounded process networks
Information and Computation | 2016-12-22 | Paper |
An algebraic theory for web service contracts
Formal Aspects of Computing | 2015-09-03 | Paper |
A rude contract language for web services
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Deadlock detection in linear recursive programs
Lecture Notes in Computer Science | 2015-02-25 | Paper |
Decidability problems for actor systems
Logical Methods in Computer Science | 2015-01-15 | Paper |
Deadlock analysis of unbounded process networks
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Expressivity in the \(\kappa\) family
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
A simple calculus for proteins and cells
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Decidability problems for actor systems
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Inheritance in concurrent objects | 2012-09-05 | Paper |
Linear forwarders.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A calculus for long-running transactions.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
PiDuce- A project for experimenting web services technologies
Science of Computer Programming | 2009-08-21 | Paper |
nano\(\kappa\): A calculus for the modeling and simulation of nano devices
Theoretical Computer Science | 2008-12-12 | Paper |
A simple calculus for proteins and cells
Theoretical Computer Science | 2008-11-06 | Paper |
The Must Preorder Revisited
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
The Pairing of Contracts and Session Types
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Linear forwarders
Information and Computation | 2007-10-10 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2242584 (Why is no real title available?) | 2006-01-02 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2185649 (Why is no real title available?) | 2005-07-04 | Paper |
Formal molecular biology
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2080219 (Why is no real title available?) | 2004-08-04 | Paper |
Inheritance in the join calculus.
The Journal of Logic and Algebraic Programming | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1956561 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1950547 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1927577 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1927571 (Why is no real title available?) | 2003-06-12 | Paper |
A type system for JVM threads
Theoretical Computer Science | 2003-01-21 | Paper |
Bisimulations in the join-calculus
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1479624 (Why is no real title available?) | 2000-07-20 | Paper |
| scientific article; zbMATH DE number 1304379 (Why is no real title available?) | 1999-11-21 | Paper |
| scientific article; zbMATH DE number 1231449 (Why is no real title available?) | 1998-12-10 | Paper |
Paths, computations and labels in the \(\lambda\)-calculus
Theoretical Computer Science | 1997-02-28 | Paper |
Interaction systems II: The practice of optimal reductions
Theoretical Computer Science | 1997-02-27 | Paper |
The discriminating power of multiplicities in the \(\lambda\)-calculus
Information and Computation | 1996-12-12 | Paper |
Axiomatizing permutation equivalence
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
Split and ST bisimulation semantics
Information and Computation | 1995-07-10 | Paper |
| scientific article; zbMATH DE number 627411 (Why is no real title available?) | 1995-04-20 | Paper |
Interaction Systems I: The theory of optimal reductions
Mathematical Structures in Computer Science | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 176137 (Why is no real title available?) | 1993-05-18 | Paper |
