Login / Signup
Executable Behaviour and the π-Calculus (extended abstract).
Bas Luttik
Fei Yang
Published in:
ICE (2015)
Keyphrases
</>
extended abstract
process algebra
formal specification
real world
temporal logic
real numbers
asynchronous circuits
concurrent systems
knowledge base
case study
automated deduction