A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes

Vashti Galpin. A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. South African Computer Journal, 26:4-12, 2000.

Abstract

Abstract is missing.