RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.
Leo Yuhsiang LiuR. K. ShyamasundarPublished in: Comput. Lang. (1994)
Keyphrases
- operational semantics
- real time
- agent programming
- formal semantics
- cooperative
- denotational semantics
- model theoretic
- design process
- desirable properties
- modeling language
- data model
- multi agent
- machine learning
- language learning
- expressive power
- mental states
- natural language
- sequence diagrams
- declarative semantics
- e learning