3 citations · 9 across the 11 of their papers we have counts for
3 papers · 1 filter
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied -Calculus
Clément Aubert, Ross Horne, Christian Johansen
This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events,…
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
Clément Aubert, Thomas Rubiano, Neea Rusch +1
Implicit Computational Complexity (ICC) drives better understanding of complexity classes, but it also guides the development of resources-aware languages and static source code an…
Realizing Implicit Computational Complexity
Clément Aubert, Thomas Rubiano, Neea Rusch +1
This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC), that tracks dependencies between variabl…