Ludovic Henrio

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Refinements for open automata	2024-06-05	Paper
On Reachability in Parameterized Phaser Programs Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Active Objects with Deterministic Behaviour	2023-03-21	Paper
Compositional equivalences based on open pNets Journal of Logical and Algebraic Methods in Programming	2023-02-03	Paper
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems Journal of Logical and Algebraic Methods in Programming	2020-01-31	Paper
Multiactive objects and their applications	2017-12-11	Paper
scientific article; zbMATH DE number 6721685 (Why is no real title available?)	2017-05-19	Paper
A theory for the composition of concurrent processes Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Asynchronous and deterministic objects Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-11-11	Paper
Secured information flow for asynchronous sequential processes Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
ASP\(_{\text{fun}}\) : a typed functional active object calculus Science of Computer Programming	2012-07-13	Paper
Asynchronous sequential processes Information and Computation	2009-04-16	Paper
A Mechanized Model of the Theory of Objects Lecture Notes in Computer Science	2007-11-28	Paper
scientific article; zbMATH DE number 2161893 (Why is no real title available?)	2005-04-26	Paper
scientific article; zbMATH DE number 1848376 (Why is no real title available?)	2003-01-05	Paper

Research outcomes over time

This page was built for person: Ludovic Henrio