( en | de | ru )

 

Disambiguation of "Latella, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
Partial Order Models for Quantitative Extensions of LOTOS.

, , , and . Comput. Networks, 30 (9-10): 925-950 (1998)

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Other publications of authors with the same name

On testing UML statecharts., , and . J. Log. Algebraic Methods Program., 69 (1-2): 1-74 (2006)Assisting the design of a groupware system., , , , , and . J. Log. Algebraic Methods Program., 78 (4): 191-232 (2009)Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach., , and . FORTE, volume C-22 of IFIP Transactions, page 253-268. North-Holland, (1993)Model Checking Groupware Protocols., , , and . COOP, page 179-194. IOS, (2004)A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification, and . page 11--22. (2001)Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker., , and . Formal Aspects Comput., 11 (6): 637-664 (1999)On Bisimilarity for Quasi-discrete Closure Spaces., , , and . CoRR, (2023)Stochastically timed predicate-based communication primitives for autonomic computing., , , and . QAPL, volume 154 of EPTCS, page 1-16. (2014)Non-standard Interpretations of LOTOS Specifications., , and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 217-234. Springer, (1991)On a Uniform Framework for the Definition of Stochastic Process Languages., , , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 9-25. Springer, (2009)