Login / Signup
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
Marco Bernardo
Published in:
GANDALF (2010)
Keyphrases
</>
real time
database systems
decision process
data mining
mobile robot
first order logic