The Journal of Logic and Algebraic Programming

A brief account of runtime verification

Martin Leucker, Christian Schallhart · 2008 · 797 citations

Program Checking, Engineering, Runtime Verification +9

A structural approach to operational semantics

2004 · 688 citations

Formal Semantics, Engineering, Operational Semantics +6

An overview of the K semantic framework

Grigore Roşu, Traian Florin Şerbănuţă · 2010 · 388 citations

Engineering, Data Science, Computational Linguistics +9

The origins of structural operational semantics

Gordon Plotkin · 2004 · 350 citations

Applied Linguistics, Formal Semantics, Philosophy Of Language +7

A pi-calculus based semantics for WS-BPEL

Roberto Lucchi, Manuel Mazzara · 2006 · 257 citations

Engineering, Operational Semantics, Formal Modeling +6