Text this: The analysis of concurrent systems; Cambridge, September 12-16, 1983 : proceedings /