Jesús Aranda

Available identifiers

zbMath Open aranda.jesusMaRDI QIDQ2864371

List of research outcomes

Publication	Date of Publication	Type
Towards formal interaction-based models of grid computing infrastructures	2021-06-22	Paper
Linearity, persistence and testing semantics in the asynchronous pi-calculus	2013-12-06	Paper
On the Expressive Power of Restriction and Priorities in CCS with Replication	2009-03-31	Paper
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming	2009-01-22	Paper
On Recursion, Replication and Scope Mechanisms in Process Calculi	2008-09-17	Paper
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence	2008-05-15	Paper

Research outcomes over time

This page was built for person: Jesús Aranda