Marina Ribaudo

From MaRDI portal
Person:1685780

Available identifiers

zbMath Open ribaudo.marinaMaRDI QIDQ1685780

List of research outcomes





PublicationDate of PublicationType
An abstract machine for asynchronous programs with closures and priority queues2017-12-20Paper
https://portal.mardi4nfdi.de/entity/Q47387692004-08-11Paper
Process algebras for systems diagnosis.2003-01-21Paper
Integrating TwoTowers and GreatSPN through a compact net semantics2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q45189282001-06-13Paper
GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets1997-02-28Paper

Research outcomes over time

This page was built for person: Marina Ribaudo

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