A pi-Calculus Semantics for an Object-Based Design Notation.

Published in: CONCUR (1993)

Keyphrases

neural network
case study
building blocks
artificial intelligence
user interface
design process
metamodel
engineering design
formal semantics