TY - BOOK ID - 894612 TI - The analysis of concurrent systems, Cambridge, September 12-16, 1983. Proceedings AU - Denvir, B.T. AU - HARWOOD, W.T. AU - JACKSON, M.I. AU - WRAY, M. J. PY - 1985 VL - 207 SN - 3540160477 0387160477 3540397310 9780387160474 PB - Berlin : Springer-Verlag, DB - UniCat KW - Computer architecture. Operating systems KW - Parallel processing (Electronic computers) KW - Parallélisme (Informatique) KW - Congresses KW - Congrès KW - 681.3*D13 KW - 681.3*D21 KW - 681.3*D24 KW - 681.3*F12 KW - Concurrent programming KW - Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} KW - Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation KW - 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} KW - 681.3*D13 Concurrent programming KW - 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation KW - Parallélisme (Informatique) KW - Congrès KW - Computer network architectures. KW - Logic design. KW - Computer System Implementation. KW - Logics and Meanings of Programs. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Parallel processing (Electronic computers) - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:894612 AB - ER -