Specification of Time Dependencies and Synthesis of Concurrent Processes.
Peter B. LadkinPublished in: ICSE (1987)
Keyphrases
- concurrent processes
- petri net
- advanced transaction models
- concurrent programs
- formal specification
- dependency analysis
- data sets
- program synthesis
- process algebra
- databases
- relational databases
- conceptual model
- dependency graphs
- hidden markov models
- artificial intelligence
- database
- specification language
- genetic algorithm