Syntax and Informal Semantics of DyNe, a Parallel language (1983)

by J R Kennaway, M R Sleep
Venue:In Proceedings of workshop on The analysis of Concurrent Systems, volume 207 of LNCS