Multiprocessor architectures for concurrent programs.

Per Brinch Hansen

Published in: SIGARCH Comput. Archit. News (1978)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
object oriented
asynchronous circuits
model checking
service oriented
formal specification
concurrent systems
concurrent processes