Using CCS for the specification of inheritance.

Mary Buchanan Bob Dickerson Carol Britton Martin J. Loomes

Published in: Microprocess. Microprogramming (1993)

Keyphrases

object oriented
high level
object oriented databases
knowledge representation
neural network
specification language
multiscale
decision making
three dimensional
expert systems
conceptual model
formal methods
formal verification
multiple inheritance