research
∙
08/17/2023
Proceedings 16th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'23, the 16th Interaction and...
share
research
∙
09/06/2022
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
This paper shows how we can make use of an asynchronous transition syste...
research
∙
08/08/2022
Proceedings 15th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'22, the 15th Interaction and...
research
∙
05/18/2022
A Novel Loop Fission Technique Inspired by Implicit Computational Complexity
This work explores an unexpected application of Implicit Computational C...
research
∙
03/10/2022
Realizing Implicit Computational Complexity
This abstract aims at presenting an ongoing effort to apply a novel typi...
research
∙
03/08/2022
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
Implicit Computational Complexity (ICC) drives better understanding of c...
research
∙
10/25/2021
Causal Consistent Replication in Reversible Concurrent Calculi
Reversible computation is key in developing new, energy-efficient paradi...
research
∙
06/24/2021
An implementation of flow calculus for complexity analysis (tool paper)
Abstract. We present a tool to automatically perform the data-size analy...
research
∙
06/24/2021
An extended and more practical mwp flow analysis
We improve and refine a method for certifying that the values' sizes com...
research
∙
03/29/2021
Enabling Replications and Contexts in Reversible Concurrent Calculus
Existing formalisms for the algebraic specification and representation o...
research
∙
07/16/2020
Process, Systems and Tests: Three Layers in Concurrent Computation
In this position paper, we would like to offer a new template to study p...
research
∙
05/14/2020
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
The formalization of process algebras usually starts with a minimal core...
research
∙
05/14/2020
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
Reversible computation opens up the possibility of overcoming some of th...
research
∙
10/11/2019
Categories for Me, and You?
A non-self-contained gathering of notes on category theory, including th...
research
∙
05/29/2018
Unification and Logarithmic Space
We present an algebraic characterization of the complexity classes Logsp...
research
∙
04/27/2018