A language adaptation architecture for reflective concurrent systems.
Chao-Hsin LinEn-Hsin HuangTzilla ElradPublished in: Systems Implementation 2000 (1998)
Keyphrases
- concurrent systems
- process algebra
- distributed systems
- temporal logic
- model checking
- layered architecture
- formal specification
- transition systems
- programming language
- management system
- natural language
- description languages
- language learning
- software architecture
- modeling language
- neural network
- specification language
- real time
- highly modular
- formal languages
- pattern languages
- data flow
- petri net
- open source
- java platform
- artificial intelligence