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 |
|---|---|---|
| scientific article; zbMATH DE number 7308363 (Why is no real title available?) | 2021-02-09 | Paper |
| Concurrency cannot be observed, asynchronously Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| RPO semantics for mobile ambients Mathematical Structures in Computer Science | 2016-07-26 | Paper |
| Asynchronous traces and open Petri nets Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
| A General Theory of Barbs, Contexts, and Labels ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Labelled transitions for mobile ambients (as synthesized via a graphical encoding) Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
| Barbed Semantics for Open Reactive Systems Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
| A Modular LTS for Open Reactive Systems Lecture Notes in Computer Science | 2012-09-21 | Paper |
| A decentralised graphical implementation of mobile ambients The Journal of Logic and Algebraic Programming | 2011-02-09 | Paper |
| Saturated LTSs for adhesive rewriting systems Lecture Notes in Computer Science | 2010-10-04 | Paper |
| Reactive Systems, Barbed Semantics, and the Mobile Ambients Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
| A Decentralized Implementation of Mobile Ambients Lecture Notes in Computer Science | 2008-11-20 | Paper |
Research outcomes over time
This page was built for person: Giacoma Valentina Monreale
