Ludovic Henrio

From MaRDI portal
Person:433337

Available identifiers

zbMath Open henrio.ludovicMaRDI QIDQ433337

List of research outcomes





PublicationDate of PublicationType
Refinements for open automata2024-06-05Paper
On Reachability in Parameterized Phaser Programs2023-11-24Paper
Active Objects with Deterministic Behaviour2023-03-21Paper
Compositional equivalences based on open pNets2023-02-03Paper
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems2020-01-31Paper
https://portal.mardi4nfdi.de/entity/Q45967902017-12-11Paper
https://portal.mardi4nfdi.de/entity/Q29890022017-05-19Paper
A Theory for the Composition of Concurrent Processes2016-10-19Paper
Asynchronous and deterministic objects2015-11-11Paper
Secured information flow for asynchronous sequential processes2013-12-06Paper
ASP\(_{\text{fun}}\) : a typed functional active object calculus2012-07-13Paper
Asynchronous sequential processes2009-04-16Paper
A Mechanized Model of the Theory of Objects2007-11-28Paper
https://portal.mardi4nfdi.de/entity/Q46718262005-04-26Paper
https://portal.mardi4nfdi.de/entity/Q47855432003-01-05Paper

Research outcomes over time

This page was built for person: Ludovic Henrio

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