Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 23-25, 1990
guest editor: M. Kwiatkowska
Bok Engelsk 1992 International BCS-FACS Workshop on Semantics for Concurrency
| Utgitt | Amsterdam : Elsevier , c1992
|
|---|---|
| Omfang | S. 159-359 : ill.
|
| Emner |
