3 citations · 9 across the 10 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022
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…
cs.FL2020★ 3 cited
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
Clément Aubert, Ioana Cristescu
The formalization of process algebras usually starts with a minimal core of operators and rules for its transition system, and then relax the system to improve its usability and ea…