Author of the publication

Relating Fairness and Timing in Process Algebras.

, , and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 438-452. Springer, (2003)

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.

 

Other publications of authors with the same name

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments., , , , and . J. Integr. Bioinform., (2012)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)Automated Analysis of MUTEX Algorithms with FASE, , , , and . GandALF, volume 54 of EPTCS, page 45-59. (2011)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)Shape Calculus: Timed Operational Semantics and Well-formedness, , , , and . CoRR, (2010)Read Operators and their Expressiveness in Process Algebras, , and . EXPRESS, volume 64 of EPTCS, page 31-43. (2011)Evaluating the Efficiency of Asynchronous Systems with FASE, , , , and . CoRR, (2011)