Timed process calculi: from durationless actions to durational ones.

Marco Bernardo Flavio Corradini Luca Tesei

Published in: ICTCS (2014)

Keyphrases

neural network
bayesian networks
petri net