Publication:4023311
From MaRDI portal
zbMath0815.68014MaRDI QIDQ4023311
No author found.
Publication date: 23 January 1993
protocol; distributed system; Estelle specifications; formal description techniques; parallel code; Verteilte Systeme; Formale Beschreibungstechniken
00B25: Proceedings of conferences of miscellaneous specific interest
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems