Towards parallelization of concurrent systems.

Flavio Corradini Roberto Gorrieri Davide Marchignoli

Published 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