calculus semantics for the concurrent con guration language darwin (1993)

by S Eisenbach, R Patterson
Venue:In Proceedings of the 26th Annual Hawaii International Conference on System Sciences