( en | de | ru )

 

Disambiguation of "Loreti, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.

, , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 111-128. Springer, (2019)

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.

Valeria Loreti

Michele Galletti

Michele Ocken

Michele Ferrari

Hannelore Michele

 

Other publications of authors with the same name

Design of a Password-based Authentication Method for Wireless Networks., , and . WINSYS, page 9-16. INSTICC Press, (2007)An infrastructure language for open nets., , and . SAC, page 373-377. ACM, (2002)Property-Preserving Refinement of Concurrent Systems., and . TGC, volume 6084 of Lecture Notes in Computer Science, page 222-236. Springer, (2010)Structured Nets in KLAIM., , and . SAC (1), page 174-180. ACM, (2000)FlyFast: A Mean Field Model Checker., , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 303-309. (2017)On the Power of Attribute-Based Communication., , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 1-18. Springer, (2016)Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL., , , , and . Log. Methods Comput. Sci., (2018)A Language-Based Approach to Autonomic Computing., , , and . FMCO, volume 7542 of Lecture Notes in Computer Science, page 25-48. Springer, (2011)Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks., , , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 37-54. Springer, (2023)CaSPiS: a calculus of sessions, pipelines and services., , , and . Math. Struct. Comput. Sci., 25 (3): 666-709 (2015)