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 |