( en | de | ru )

 

Disambiguation of "Berardini, Maria Rita Di"

Author of the publication

copydeleteadd this publication to your clipboard
Fairness of Actions in System Computations.

, , and . Acta Inf., 43 (2): 73-130 (2006)

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.

Nicolai Berardini

Aaro M Ritala

Soufiane Rital

Kambam Ritapal

Paulo Rita

 

Other publications of authors with the same name

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments., , , , and . J. Integr. Bioinform., (2012)Automated Analysis of MUTEX Algorithms with FASE, , , , and . GandALF, volume 54 of EPTCS, page 45-59. (2011)Time and Fairness in a Process Algebra with Non-blocking Reading., , and . SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 193-204. Springer, (2009)Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue., , , , , and . FBTC@CONCUR, volume 194 of Electronic Notes in Theoretical Computer Science, page 51-67. Elsevier, (2007)Fairness of Components in System Computations., , and . EXPRESS, volume 128 of Electronic Notes in Theoretical Computer Science, page 35-52. Elsevier, (2004)Shape Calculus. A Spatial Mobile Calculus for 3D Shapes., , , , and . Sci. Ann. Comput. Sci., (2010)Fairness of Actions in System Computations., , and . Acta Inf., 43 (2): 73-130 (2006)Evaluating the Efficiency of Asynchronous Systems with FASE, , , , and . CoRR, (2011)Read Operators and their Expressiveness in Process Algebras, , and . EXPRESS, volume 64 of EPTCS, page 31-43. (2011)Integrating Ontologies in Mobile Agents., , , and . WOA, page 37-45. Pitagora Editrice Bologna, (2005)