Keyphrases
- abstract data types
- process algebra
- concurrent systems
- formal specification
- asynchronous circuits
- model checking
- data types
- formal methods
- programming language
- communication protocols
- object oriented databases
- relational database systems
- web services composition
- programming environment
- temporal logic
- data model
- petri net
- database
- data structure
- formal languages
- high level
- software components
- spatio temporal data
- xml data
- software engineering
- data warehouse
- relational databases
- databases