Coalgebraic Semantic Model for the Clock Constraint Specification Language.
Frédéric MalletGrygoriy ZholtkevychPublished in: FTSCS (2014)
Keyphrases
- specification language
- probabilistic model
- domain specific
- high level
- relational databases
- database
- fine grained
- high speed
- semantic models
- semantic constraints
- description language
- semantic information
- distributed systems
- state space
- probability distribution
- natural language
- reinforcement learning
- artificial intelligence