Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance.
Tadao MurataPublished in: IEEE Trans. Software Eng. (1980)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- formal specification
- process algebra
- model checking
- transition systems
- decision making
- petri net
- program synthesis
- resource allocation
- decision rules
- limited resources
- resource management
- decision makers
- information resources
- decision process
- computing resources
- decision problems
- texture synthesis
- data sets
- learning resources
- business processes
- access control
- decision trees
- neural network