Author of the publication

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.

, , , and . EXPRESS, volume 194 of Electronic Notes in Theoretical Computer Science, page 59-84. Elsevier, (2007)

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.

No persons found for author name Cacciagrano, Diletta
add a person with the name Cacciagrano, Diletta
 

Other publications of authors with the same name

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments., , , , and . J. Integr. Bioinform., (2012)Explicit fairness in testing semantics, , and . Logical Methods in Computer Science, (2009)Energy Saving and Collision-Free Motion Planning for Oblivious Robots., and . AINA Workshops, page 591-596. IEEE Computer Society, (2018)A model-prover for constrained dynamic conversations., , , , and . iiWAS, page 630-633. ACM, (2008)Bone Remodelling: A Complex Automata-Based Model Running in BioShape., , and . ACRI, volume 6350 of Lecture Notes in Computer Science, page 116-127. Springer, (2010)A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED., , , , and . AINA, page 339-345. IEEE Computer Society, (2016)BIOSHAPEBioShape: End-User Development for Simulating Biological Systems., , , , , and . IS-EUD, volume 6654 of Lecture Notes in Computer Science, page 379-382. Springer, (2011)On Synchronous and Asynchronous Communication Paradigms., and . ICTCS, volume 2202 of Lecture Notes in Computer Science, page 256-268. Springer, (2001)Expressiveness of Timed Events and Timed Languages., and . SFM, volume 3185 of Lecture Notes in Computer Science, page 98-131. Springer, (2004)Uniformity in Multiscale Models: From Complex Automata to BioShape., , , and . J. Cell. Autom., 12 (5): 333-359 (2017)