Parallel and Distributed Derivations in the Single-Pushout Approach

Hartmut Ehrig, Michael Löwe. Parallel and Distributed Derivations in the Single-Pushout Approach. Theoretical Computer Science, 109(1&2):123-143, 1993.

Abstract

Abstract is missing.