| Publication | Date of Publication | Type |
|---|
Fair asynchronous session subtyping
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Relating Session Types and Behavioural Contracts: The Asynchronous Case | 2024-03-14 | Paper |
| A Sound Algorithm for Asynchronous Session Subtyping | 2023-02-03 | Paper |
Fair refinement for asynchronous session types
(available as arXiv preprint) | 2021-10-18 | Paper |
Behavioural types for memory and method safety in a core object-oriented language
(available as arXiv preprint) | 2021-07-08 | Paper |
scientific article; zbMATH DE number 7327953 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-26 | Paper |
| scientific article; zbMATH DE number 7327953 (Why is no real title available?) | 2021-03-26 | Paper |
Axiomatizing maximal progress and discrete time
(available as arXiv preprint) | 2021-03-26 | Paper |
| Axiomatizing maximal progress and discrete time | 2021-03-26 | Paper |
Process calculi as a tool for studying coordination, contracts and session types
Journal of Logical and Algebraic Methods in Programming | 2020-04-15 | Paper |
Probabilistic software product lines
Journal of Logical and Algebraic Methods in Programming | 2019-10-17 | Paper |
A Petri Net Based Modeling of Active Objects and Futures
Fundamenta Informaticae | 2018-05-24 | Paper |
Reduction semantics in Markovian process algebra
Journal of Logical and Algebraic Methods in Programming | 2018-04-06 | Paper |
On the boundary between decidability and undecidability of asynchronous session subtyping
Theoretical Computer Science | 2018-03-12 | Paper |
Undecidability of asynchronous session subtyping
Information and Computation | 2017-09-28 | Paper |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Dynamic rebinding for concurrent object groups: theory and practice
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
YMCA: why Markov chain algebra?
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Stochastic and Real Time in Process Algebra: A Conceptual Overview
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
A Generic Process Algebra
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Expressing priorities and external probabilities in process algebra via mixed open/closed systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Revisiting interactive Markov chains | 2013-08-16 | Paper |
| An integrated approach for the specification and analysis of stochastic real-time systems | 2013-08-16 | Paper |
Adaptable processes
Logical Methods in Computer Science | 2013-01-07 | Paper |
Validation of Stochastic Systems
Lecture Notes in Computer Science | 2009-07-24 | Paper |
A theory of contracts for strong service compliance
Mathematical Structures in Computer Science | 2009-06-30 | Paper |
On the expressive power of process interruption and compensation
Mathematical Structures in Computer Science | 2009-06-30 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
| A foundational theory of contracts for multi-party service composition | 2009-02-10 | Paper |
A ground-complete axiomatisation of finite-state processes in a generic process algebra
Mathematical Structures in Computer Science | 2008-12-10 | Paper |
Contract Based Multi-party Service Composition
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Service oriented computing from a process algebraic perspective
The Journal of Logic and Algebraic Programming | 2007-01-09 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods for the Design of Real-Time Systems
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Coordination Models and Languages
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Quantitative information in the tuple space coordination model
Theoretical Computer Science | 2005-12-29 | Paper |
| scientific article; zbMATH DE number 2090712 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1884417 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1884419 (Why is no real title available?) | 2003-03-18 | Paper |
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science | 2003-01-21 | Paper |
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science | 2003-01-21 | Paper |
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1670867 (Why is no real title available?) | 2001-12-06 | Paper |
| Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time | 2001-05-08 | Paper |
| scientific article; zbMATH DE number 1497781 (Why is no real title available?) | 2001-03-05 | Paper |
