Languages for Reactive Specifications: Synchrony Vs Asynchrony.
R. K. ShyamasundarS. RameshPublished in: FTRTFT (1994)
Keyphrases
- reactive systems
- audio visual
- expressive power
- language independent
- multi stream
- formal language
- delay insensitive
- formal specification
- language identification
- operational semantics
- grammatical inference
- description languages
- agent architecture
- data model
- arabic language
- syntactic and semantic dependencies
- specification language
- context free
- databases
- text summarization
- cross lingual
- high level
- case study