Integrated Support Environment for Concurrent Process Calculi

Sen Yoshida, Atsushi Togashi, Norio Shiratori. Integrated Support Environment for Concurrent Process Calculi. In PODC. pages 395, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.