Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Musab A. AlTurki, José Meseguer. Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Journal of Logic and Algebraic Programming, 84(4):505-533, 2015. [doi]

Abstract

Abstract is missing.