A synthesis rule for concurrent systems.
Tilak AgerwalaYong-Chai Choed-AmphaiPublished in: DAC (1978)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- formal specification
- petri net
- transition systems
- model checking
- classification rules
- rule sets
- texture synthesis
- rule learning
- rule discovery
- program synthesis
- data model
- software engineering
- active databases
- artificial intelligence
- learning algorithm