Towards parallelization of concurrent systems.
Flavio CorradiniRoberto GorrieriDavide MarchignoliPublished in: RAIRO Theor. Informatics Appl. (1998)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- parallel processing
- petri net
- formal specification
- model checking
- transition systems
- parallel implementations
- shared memory
- coarse grained
- parallel algorithm
- data model
- case study
- decision trees
- distributed memory
- social networks
- information retrieval
- database