Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.

Colin Stirling

Browse the full FOSSACS paper archive.