Bisimilarity on Basic Parallel Processes

Petr Jancar. Bisimilarity on Basic Parallel Processes. Theoretical Computer Science, 903:26-38, 2022. [doi]

Abstract

Abstract is missing.