Login / Signup
Executable Behaviour and the $π$-Calculus.
Bas Luttik
Fei Yang
Published in:
CoRR (2014)
Keyphrases
</>
process algebra
formal specification
real time
decision making
image processing
decision trees
automated deduction
social networks
image sequences
model checking
formal methods
user behaviour
human behaviour
asynchronous circuits
attribute grammars