On Reduction-Based Process Semantics

Kohei Honda, Nobuko Yoshida. On Reduction-Based Process Semantics. Theoretical Computer Science, 151(2):437-486, 1995. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.