Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project.
Kazunori UedaPublished in: FGCS (1988)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- formal theory
- natural language
- distributed systems
- formal languages
- programming language
- model checking
- kernel methods
- expert systems in law
- language learning
- petri net
- case study
- transition systems
- theoretical insights
- formal specification
- speech acts
- formal methods
- software development
- feature space
- theoretical framework
- tertiary education
- artificial intelligence
- specification language
- asynchronous circuits
- machine learning
- project management
- data collection and analysis
- theoretical frameworks