Incompleteness of relational simulations in the blocking paradigm

Eerke A. Boiten, John Derrick. Incompleteness of relational simulations in the blocking paradigm. Science of Computer Programming, 75(12):1262-1269, 2010. [doi]

Abstract

Abstract is missing.