Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4K citations

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

Formal Semantics, Syntax, Operational Semantics +6

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Engineering, Computational Model Theory, Computational Complexity +3

Yacc : Yet Another Compiler Compiler

S. C. Johnson, Murray Hill · 1978 · 1.2K citations

Seven process modeling guidelines (7PMG)

Jan Mendling, Hajo A. Reijers, Wil M. P. van der Aalst · Information and Software Technology · 2009 · 609 citations

Seven Process, Engineering, Process Modeling (Business Process Management) +10