Luca Aceto

Luca Aceto

Reykjavik University - Reykjavík / Iceland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1844460
Reykjavík University
person_outline Luca Aceto's MOST POPULAR ARTICLES
1-) Reactive systems: modelling, specification and verificationL Aceto, A Ingólfsdóttir, KG Larsen, J Srbacambridge university press, 20073862007
2-) Structural operational semanticsL Aceto, W Fokkink, C VerhoefHandbook of process algebra, 197-292, 20013752001
3-) Turning SOS rules into equationsL Aceto, B Bloom, F VaandragerInformation and Computation 111 (1), 1-52, 19941931994
4-) Towards action-refinement in process algebrasL Aceto, M HennessyInformation and Computation 103 (2), 204-269, 19931771993
5-) Model checking via reachability testing for timed automataL Aceto, A Burgueno, KG LarsenInternational Conference on Tools and Algorithms for the Construction and …, 19981591998