Performance analysis of concurrent systems in algebra dtsiPBC.
Igor V. TarasyukHermenegilda MaciàValentín Valero RuizPublished in: Program. Comput. Softw. (2014)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- formal specification
- model checking
- petri net
- data model
- transition systems
- relational algebra
- query language
- algebraic expressions
- real time
- algebraic structure
- relation algebra
- boolean algebra
- finite state
- relational databases
- artificial intelligence