Luca Aceto

Luca Aceto

Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L' …
Email yang diverifikasi di ru.is
Dirujuk 5040 kali
Concurrency theory runtime verification structural operational semantics logic in computer science
Bartek Klin

Bartek Klin

University of Oxford
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 1559 kali
nominal sets coalgebra structural operational semantics logic in computer science
Eugen-Ioan Goriac

Eugen-Ioan Goriac

Reykjavik University
Email yang diverifikasi di ru.is
Dirujuk 142 kali
Reactive Systems Process Algebra Structural Operational Semantics Rewriting Logic