Proceeding on analysis of concurrent systems - Denvire B T Ed.; Symposium on analysis of concurrent systems (1985 : Cambridge); Harwood W T Ed. (Berlin Springer-Verlag, 1985)
Keywords: Computer science