BRICS Report Series

Structural Operational Semantics

Luca Aceto, C. Verhoef · 1999 · 227 citations · Full text

Computing, Computer Science, Formal Methods +6

UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems

Johan Bengtsson, Kim G. Larsen, Fredrik Larsson et al. · 1996 · 192 citations · Full text

Computing, Computer Engineering, Computer Science +17

A Functional Correspondence between Evaluators and Abstract Machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · 2003 · 132 citations · Full text

Computing, Computer Science, Programming Languages +12

Refocusing in Reduction Semantics

Olivier Danvy, Lasse R. Nielsen · 2004 · 126 citations · Full text

Computing, Computer Science, Compilers +13

Decidability Issues for Petri Nets

Javier Esparza, Mogens Nielsen · 1994 · 102 citations · Full text

Computing, Computer Science, Formal Methods +10