Strong Fairness and Full Abstraction for Communicating Processes.

Published in: Inf. Comput. (2000)

Keyphrases

communication channels
high level
stochastic processes
reasoning processes
concurrent processes
data sets
metadata
web services
information technology
software engineering
process model
resource allocation
computational models