A Denotational Semantics of Real-Time Process Algebra (RTPA).
Xinming TanYingxu WangPublished in: Int. J. Cogn. Informatics Nat. Intell. (2008)
Keyphrases
- denotational semantics
- behavioral models
- abstract data types
- programming language
- code generator
- data types
- dynamic behaviors
- object oriented databases
- operational semantics
- relational database systems
- data model
- architectural models
- query language
- hierarchical structures
- automatically generated
- database
- process model
- software engineering
- high level
- conceptual model
- general purpose
- machine learning