| Publication | Date of Publication | Type |
|---|
| An action based framework for verifying logical and behavioural properties of concurrent systems | 2024-04-29 | Paper |
Intuitive modelling and formal analysis of collective behaviour in foraging ants
Computational Methods in Systems Biology | 2024-02-28 | Paper |
Process algebras and flocks of birds
Lecture Notes in Computer Science | 2023-07-26 | Paper |
| PALM: A Technique for Process ALgebraic Specification Mining | 2023-03-21 | Paper |
Multiparty testing preorders
Logical Methods in Computer Science | 2023-01-09 | Paper |
Verifying properties of systems relying on attribute-based communication
ModelEd, TestEd, TrustEd | 2022-11-09 | Paper |
A completeness theorem for nondeterministic Kleene algebras
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
| The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes | 2021-06-09 | Paper |
The spectrum of strong behavioral equivalences for nondeterministic and probabilistic processes
(available as arXiv preprint) | 2021-06-09 | Paper |
Pattern matching over a dynamic network of tuple spaces
Lecture Notes in Computer Science | 2021-05-20 | Paper |
Multiparty testing preorders
Trustworthy Global Computing | 2021-04-07 | Paper |
A formal approach to the engineering of domain-specific distributed systems
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
A calculus for collective-adaptive systems and its behavioural theory
Information and Computation | 2019-09-17 | Paper |
Distribution and locality of concurrent systems
Automata, Languages and Programming | 2019-04-29 | Paper |
Basic observables for processes
Automata, Languages and Programming | 2018-07-04 | Paper |
Initial algebra for a system of right-linear functors
Acta Cybernetica | 2017-08-25 | Paper |
A modal logic for mobile agents
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Group-by-group probabilistic bisimilarities and their logical characterizations
Trustworthy Global Computing | 2016-11-09 | Paper |
On the Power of Attribute-Based Communication
Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
CaSPiS: a calculus of sessions, pipelines and services
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services
Electronic Notes in Theoretical Computer Science | 2016-06-03 | Paper |
Replicating data for better performances in X10
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Global protocol implementations via attribute-based communication
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
A homage to Martin Wirsing
Software, Services, and Systems | 2015-06-22 | Paper |
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
Acta Informatica | 2015-03-02 | Paper |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
Theoretical Computer Science | 2014-07-25 | Paper |
Programming and verifying component ensembles
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
A uniform definition of stochastic process calculi
ACM Computing Surveys | 2014-06-05 | Paper |
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
Logical Methods in Computer Science | 2014-03-24 | Paper |
| Multi labelled transition systems: a semantic framework for nominal calculi | 2013-12-04 | Paper |
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Information and Computation | 2013-11-29 | Paper |
| On the expressive power of \textsc{Klaim}-based calculi | 2013-09-25 | Paper |
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
From flow logic to static type systems for coordination languages
Science of Computer Programming | 2010-04-29 | Paper |
A formal basis for reasoning on programmable QoS
Lecture Notes in Computer Science | 2010-03-23 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Rate-Based Transition Systems for Stochastic Process Calculi
Automata, Languages and Programming | 2009-07-14 | Paper |
Semantic subtyping for the pi-calculus
Theoretical Computer Science | 2008-06-24 | Paper |
Ugo Montanari in a Nutshell
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Multiple-Labelled Transition Systems for nominal calculi and their logics
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Basic observables for a calculus for global computing
Information and Computation | 2007-10-10 | Paper |
Model checking mobile stochastic logic
Theoretical Computer Science | 2007-09-03 | Paper |
Global computing in a dynamic network of tuple spaces
Science of Computer Programming | 2007-01-22 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Confining data and processes in global computing applications
Science of Computer Programming | 2006-10-25 | Paper |
On the expressive power of \textsc{Klaim}-based calculi
Theoretical Computer Science | 2006-05-29 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2102737 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2087391 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084813 (Why is no real title available?) | 2004-08-09 | Paper |
Nondeterministic regular expressions as solutions of equational systems.
Theoretical Computer Science | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1951525 (Why is no real title available?) | 2003-07-21 | Paper |
An Equational Axiomatization of Bisimulation over Regular Expressions
Journal Of Logic And Computation | 2003-06-16 | Paper |
Klava: a Java package for distributed and mobile applications
Software: Practice and Experience | 2003-02-04 | Paper |
Trace and testing equivalence on asynchronous processes
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759601 (Why is no real title available?) | 2002-11-28 | Paper |
Testing equivalences for processes
Theoretical Computer Science | 2002-05-13 | Paper |
Proof techniques for cryptographic processes
SIAM Journal on Computing | 2002-04-23 | Paper |
| scientific article; zbMATH DE number 1696899 (Why is no real title available?) | 2002-01-28 | Paper |
A Finite Axiomatization of Nondeterministic Regular Expressions
RAIRO - Theoretical Informatics and Applications | 2000-10-03 | Paper |
A Finite Axiomatization of Nondeterministic Regular Expressions
RAIRO - Theoretical Informatics and Applications | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1500662 (Why is no real title available?) | 2000-09-04 | Paper |
Models of nondeterministic regular expressions
Journal of Computer and System Sciences | 2000-03-19 | Paper |
Basic observables for processes
Information and Computation | 2000-01-12 | Paper |
Three logics for branching bisimulation
Journal of the ACM | 1998-02-02 | Paper |
Locality based semantics for process algebras
Acta Informatica | 1997-12-08 | Paper |
| scientific article; zbMATH DE number 938663 (Why is no real title available?) | 1997-03-25 | Paper |
A process algebraic view of input/output automata
Theoretical Computer Science | 1997-02-28 | Paper |
A symbolic semantics for the \(\pi\)-calculus
Information and Computation | 1997-01-02 | Paper |
Testing equivalence for mobile processes
Information and Computation | 1995-09-17 | Paper |
Universal axioms for bisimulations
Theoretical Computer Science | 1993-10-25 | Paper |
An action-based framework for veryfying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4210118 (Why is no real title available?) | 1990-01-01 | Paper |
A partial ordering semantics for CCS
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4119653 (Why is no real title available?) | 1989-01-01 | Paper |
A distributed operational semantics of CCS based on condition/event systems
Acta Informatica | 1988-01-01 | Paper |
Extensional equivalences for transition systems
Acta Informatica | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995043 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4035159 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4018369 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3911691 (Why is no real title available?) | 1985-01-01 | Paper |
Two complete axiom systems for a theory of communicating sequential processes
Information and Control | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3970100 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3814961 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819070 (Why is no real title available?) | 1983-01-01 | Paper |
