A Synthesis of Concurrent Systems: A Rough Set Approach.
Zbigniew SurajKrzysztof PancerzPublished in: RSFDGrC (2003)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- model checking
- process algebra
- formal specification
- rough sets
- transition systems
- petri net
- rough set theory
- decision rules
- program synthesis
- genetic algorithm
- attribute values
- texture synthesis
- decision table
- object oriented
- real time
- rough approximations
- functional programs