Giacoma Valentina Monreale

From MaRDI portal
Person:624387

Available identifiers

zbMath Open monreale.giacoma-valentinaMaRDI QIDQ624387

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51501302021-02-09Paper
Concurrency cannot be observed, asynchronously2016-07-27Paper
RPO semantics for mobile ambients2016-07-26Paper
Asynchronous traces and open Petri nets2016-01-08Paper
A General Theory of Barbs, Contexts, and Labels2015-09-17Paper
Labelled transitions for mobile ambients (as synthesized via a graphical encoding)2014-07-23Paper
Barbed Semantics for Open Reactive Systems2013-09-13Paper
A Modular LTS for Open Reactive Systems2012-09-21Paper
A decentralised graphical implementation of mobile ambients2011-02-09Paper
Saturated LTSs for adhesive rewriting systems2010-10-04Paper
Reactive Systems, Barbed Semantics, and the Mobile Ambients2009-03-31Paper
A Decentralized Implementation of Mobile Ambients2008-11-20Paper

Research outcomes over time

This page was built for person: Giacoma Valentina Monreale

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