Proceeding on semantics for concurrency - Kwiatknowshka M Z; International BCS-FACS workshop on Semantics for concurrency (1990 : U K); Shields M W; Thomas R M (London Springer-Verlag, 1990)
Keywords: semantics