Eric Madelaine

From MaRDI portal
Person:1633066

Available identifiers

zbMath Open madelaine.ericMaRDI QIDQ1633066

List of research outcomes





PublicationDate of PublicationType
Refinements for open automata2024-06-05Paper
Compositional equivalences based on open pNets2023-02-03Paper
SMT-based generation of symbolic automata2020-05-26Paper
Timed-pNets: a communication behavioural semantic model for distributed systems2018-12-19Paper
A Denotational Semantics for Parameterised Networks of Synchronised Automata2017-04-04Paper
A Theory for the Composition of Concurrent Processes2016-10-19Paper
https://portal.mardi4nfdi.de/entity/Q40371061993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40374001993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q33401211984-01-01Paper

Research outcomes over time

This page was built for person: Eric Madelaine

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