×

Monreale, Giacoma Valentina

Author ID: monreale.giacoma-valentina Recent zbMATH articles by "Monreale, Giacoma Valentina"
Published as: Monreale, Giacoma Valentina; Monreale, Giacoma V.
Documents Indexed: 12 Publications since 2008
Co-Authors: 4 Co-Authors with 12 Joint Publications
187 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 32 times in 22 Documents Cited by Year
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
11
2009
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
6
2014
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
A decentralized implementation of mobile ambients. Zbl 1175.68279
Gadducci, Fabio; Monreale, Giacoma Valentina
4
2008
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
Barbed semantics for open reactive systems. Zbl 1394.68249
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2013
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
6
2014
Barbed semantics for open reactive systems. Zbl 1394.68249
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2013
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
11
2009
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
A decentralized implementation of mobile ambients. Zbl 1175.68279
Gadducci, Fabio; Monreale, Giacoma Valentina
4
2008

Citations by Year