Towards characterizing bisimilarity of value-passing processes with context-free control

Pawel Paczkowski. Towards characterizing bisimilarity of value-passing processes with context-free control. Electronic Notes in Theoretical Computer Science, 18:171-178, 1998. [doi]

Abstract

Abstract is missing.