Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
Show author
On this page you see the details of the selected author.
Author information
First name:
Giacoma Valentina
Last name:
Monreale
DBLP:
48/6571
Rating:
(not rated yet)
Bookmark:
Below you find the publications which have been written by this author.
Show item
1
to
4
of
4
Select a publication
Show
Title
Venue
Rating
Date
Filippo Bonchi
,
Fabio Gadducci
,
Giacoma Valentina Monreale
.
On Barbs and Labels in Reactive Systems
CoRR 2010, Volume 0
(0)
2010
Filippo Bonchi
,
Fabio Gadducci
,
Giacoma Valentina Monreale
.
Reactive Systems, Barbed Semantics, and the Mobile Ambients.
Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009
(0)
2009
Filippo Bonchi
,
Fabio Gadducci
,
Giacoma Valentina Monreale
.
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).
Electr. Notes Theor. Comput. Sci. 2009, Volume 242
(0)
2009
Fabio Gadducci
,
Giacoma Valentina Monreale
.
A Decentralized Implementation of Mobile Ambients.
Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings 2008
(0)
2008
Your query returned
4
matches in the database.