Synthesis rules for cyclic interactions among processes in concurrent systems.
C. V. RamamoorthyYuh YawWei-Tek TsaiPublished in: COMPSAC (1988)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- petri net
- transition systems
- process model
- model checking
- formal specification
- data sets
- information systems
- production system
- transformation rules
- rule extraction
- case based reasoning
- association rules
- case study
- rule sets
- service oriented
- production rules
- classification rules
- formal methods
- rough sets
- artificial intelligence