( en | de | ru )

 

Disambiguation of "Monreale, Giacoma Valentina"

Author of the publication

copydeleteadd this publication to your clipboard
Encoding Synchronous Interactions Using Labelled Petri Nets.

, , , and . COORDINATION, volume 8459 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Valentina Tischer

Valentina Kutzschebauch

Valentina Villa

Valentina David

Valentina Damerow

 

Other publications of authors with the same name

A Decentralized Implementation of Mobile Ambients., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 115-130. Springer, (2008)Concurrency Can't Be Observed, Asynchronously., , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 424-438. Springer, (2010)A Modular LTS for Open Reactive Systems., , and . IFIP TCS, volume 7604 of Lecture Notes in Computer Science, page 134-148. Springer, (2012)RPO semantics for mobile ambients., , and . Math. Struct. Comput. Sci., (2014)Barbed Semantics for Open Reactive Systems., and . WADT, volume 7841 of Lecture Notes in Computer Science, page 161-177. Springer, (2012)Encoding Synchronous Interactions Using Labelled Petri Nets., , , and . COORDINATION, volume 8459 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)Reactive Systems, Barbed Semantics, and the Mobile Ambients., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 272-287. Springer, (2009)A decentralised graphical implementation of mobile ambients., and . J. Log. Algebraic Methods Program., 80 (2): 113-136 (2011)Towards a General Theory of Barbs, Contexts and Labels., , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 289-304. Springer, (2011)A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase., , , , , , , , , and 2 other author(s). SASO Workshops, page 71-76. IEEE Computer Society, (2013)