Analysis of concurrent systems : Proceedings of a Workshop held at Clare College, Cambridge, September 12-16, 1983 / Edited by B.T. Denvir et al.

• Record Nr.: UNINA990001208950403321
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, 1985
• Collana: Lecture notes in computer science ; 207
• Locazione: MA1
• Collocazione: C-16-(207
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia