Login / Signup

Executable Behaviour and the π-Calculus (extended abstract).

Bas LuttikFei 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