Roberto M. Amadio

Available identifiers

zbMath Open amadio.roberto-mWikidataQ102289419 ScholiaQ102289419MaRDI QIDQ864503

List of research outcomes

Publication	Date of Publication	Type
On bisimulations for the asynchronous π-calculus	2023-06-28	Paper
Typed equivalence, type assignment, and type containment	2023-03-09	Paper
From a concurrent λ-calculus to the π-calculus	2022-12-09	Paper
Reasoning about higher-order processes	2022-08-18	Paper
Certified Complexity (CerCo)	2016-01-07	Paper
Reactive Concurrent Programming Revisited	2015-07-10	Paper
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS	2014-07-23	Paper
Feasible reactivity for synchronous cooperative threads	2013-10-07	Paper
On the symbolic reduction of processes with cryptographic functions	2013-07-24	Paper
On the decidability of fragments of the asynchronous π-calculus	2013-04-26	Paper
Certifying and Reasoning on Cost Annotations of Functional Programs	2012-11-02	Paper
An Elementary Affine λ-Calculus with Multithreading and Side Effects	2011-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q3400622	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q3506860	2008-06-17	Paper
A synchronous \(\pi\)-calculus	2007-09-18	Paper
The SL synchronous language, revisited	2007-02-09	Paper
Resource control for synchronous cooperative threads	2006-09-13	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4681361	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4470506	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4457446	2004-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4484507	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4796528	2003-03-05	Paper
On the symbolic reduction of processes with cryptographic functions.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536615	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q3150203	2002-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4501570	2002-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q2736346	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4501679	2000-09-04	Paper
On modelling mobility	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q3839066	1999-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4260391	1999-09-19	Paper
On bisimulations for the asynchronous \(\pi\)-calculus	1999-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222034	1998-12-06	Paper
A quick construction of a retraction of all retractions for stable bifinites	1995-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4282566	1994-07-21	Paper
Recursion over realizability structures	1992-06-25	Paper

Research outcomes over time

This page was built for person: Roberto M. Amadio