The Journal of Logic and Algebraic Programming

A brief account of runtime verification

Martin Leucker, Christian Schallhart · 2008 · 818 citations

Computing, Computer Engineering, Computer Science +10

A structural approach to operational semantics

2004 · 699 citations

Language Studies, Computer Science, Formal Methods +6

An overview of the K semantic framework

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

Computing, Computer Science, Knowledge Representation +11

The origins of structural operational semantics

Gordon Plotkin · 2004 · 354 citations

Language Studies, Computer Science, Philosophy Of Language +8

A pi-calculus based semantics for WS-BPEL

Roberto Lucchi, Manuel Mazzara · 2006 · 258 citations

Computing, Computer Engineering, Computer Science +8