( en | de | ru )

 

Disambiguation of "Latella, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
Minimisation of Spatial Models Using Branching Bisimilarity.

, , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 263-281. Springer, (2023)

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

Model Checking Groupware Protocols., , , and . COOP, page 179-194. IOS, (2004)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)A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification, and . page 11--22. (2001)Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach., , and . FORTE, volume C-22 of IFIP Transactions, page 253-268. North-Holland, (1993)Stochastically timed predicate-based communication primitives for autonomic computing., , , and . QAPL, volume 154 of EPTCS, page 1-16. (2014)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)Towards Model Checking Video Streams Using VoxLogicA on GPUs., , , , and . DataMod, volume 13268 of Lecture Notes in Computer Science, page 78-90. Springer, (2021)Rate-Based Transition Systems for Stochastic Process Calculi., , , and . ICALP (2), volume 5556 of Lecture Notes in Computer Science, page 435-446. Springer, (2009)