Unfold/Fold Transformations of Concurrent Processes.

Nicoletta De Francesco Antonella Santone

Published in: PLILP (1996)

Keyphrases

concurrent processes
petri net
concurrent programs
search engine
neural network
real time
search algorithm
special case