A Denotational Semantic Theory of Concurrent Systems.
Jayadev MisraPublished in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- transition systems
- natural language
- general theory
- petri net
- theoretical framework
- formal specification
- model checking
- semantic similarity
- semantic representation
- computational model
- semantic network
- theoretical basis
- semantic annotation
- operational semantics
- semantic description
- semantic knowledge
- neural network
- production system
- semantic information
- semantic web
- metadata
- artificial intelligence
- information retrieval