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
https://portal.mardi4nfdi.de/entity/Q2852061	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roberto M. Amadio