( en | de | ru )

 

Disambiguation of "Varacca, Daniele"

Author of the publication

copydeleteadd this publication to your clipboard
Place Bisimulation and Liveness for Open Petri Nets.

, , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 1-17. (2016)

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.

Daniele Soroldoni

Daniele Silvestro

Daniele Palmisano

Daniele Martini

Daniele Gaggero

 

Other publications of authors with the same name

Fairness and promptness in Muller formulas., , and . CoRR, (2022)Continuous Random Variables., and . LICS, page 97-106. IEEE Computer Society, (2011)The Calculus of Handshake Configurations., and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 227-241. Springer, (2009)Event Structure Semantics of Parallel Extrusion in the Pi-Calculus., , and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 225-239. Springer, (2012)Processes against tests: On defining contextual equivalences., and . J. Log. Algebraic Methods Program., (2022)Compositional Event Structure Semantics for the Internal pi -Calculus., , and . CONCUR, volume 4703 of Lecture Notes in Computer Science, page 317-332. Springer, (2007)Preface., , and . Theor. Comput. Sci., (2014)Process, Systems and Tests: Three Layers in Concurrent Computation., and . ICE, volume 347 of EPTCS, page 1-21. (2021)On the Reactive Nature of Financial Networks., and . ICTCS, volume 2243 of CEUR Workshop Proceedings, page 230-241. CEUR-WS.org, (2018)The Powerdomain of Indexed Valuations.. LICS, page 299-. IEEE Computer Society, (2002)