A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
Vashti GalpinPublished in: South Afr. Comput. J. (2000)
Keyphrases
- connected components
- semantic knowledge
- semantic annotation
- semantic web
- genetic algorithm
- semantic analysis
- domain specific
- high level
- semantic information
- domain independent
- natural language processing
- database systems
- semantic web technologies
- communication channels
- semantic content
- neural network
- semantically meaningful
- semantically equivalent