Behavioural Equivalences over Migrating Processes with Timers.

Bogdan Aman Gabriel Ciobanu Maciej Koutny

Published in: FMOODS/FORTE (2012)

Keyphrases

connected components
information retrieval
process model
neural network