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