Login / Signup

Haskell-Coloured Petri Nets.

Claus Reinke
Published in: IFL (1999)
Keyphrases
  • coloured petri nets
  • functional programming
  • programming language
  • formal verification
  • functional language
  • plagiarism detection
  • high level
  • high dimensional
  • open source