Joaquín Aguado

From MaRDI portal
Person:631752

Available identifiers

zbMath Open aguado.joaquinMaRDI QIDQ631752

List of research outcomes





PublicationDate of PublicationType
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading2023-08-02Paper
Deterministic concurrency: a clock-synchronised shared memory approach2019-09-13Paper
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency2015-06-24Paper
Grounding Synchronous Deterministic Concurrency in Sequential Programming2014-04-16Paper
Constructive semantics for instantaneous reactions2011-03-14Paper
https://portal.mardi4nfdi.de/entity/Q43290162002-11-14Paper

Research outcomes over time

This page was built for person: Joaquín Aguado

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:631752&oldid=11978339"
Powered by MediaWiki