Reflective computation in object-oriented concurrent systems and its applications.
Takuo WatanabeAkinori YonezawaPublished in: IWSSD (1989)
Keyphrases
- concurrent systems
- object oriented
- temporal logic
- distributed systems
- process algebra
- petri net
- model checking
- formal specification
- database design
- transition systems
- object oriented databases
- relational databases
- database applications
- programming language
- database schema
- object oriented programming
- neural network
- data model
- finite state
- efficient computation
- databases