TY - BOOK ED - Workshop on the Analysis of Concurrent Systems( 1983 : Cambridge ) ED - Workshop on the Analysis of Concurrent Systems TI - Analysis of concurrent systems : proceedings U1 - 4.36 PY - 1985/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Distributed computing ER -