Login / Signup
An Example for Constructing Communicating Machines by Step-Wise Refinement.
Mohamed G. Gouda
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
step wise
relational and xml data
communication channels
knowledge base
database
three dimensional
web services
sharing information
flowshop
scheduling problem
optimal solution
decision making
artificial intelligence
real world
databases
data sets
real time