Login / Signup

A Timed IO Monad.

David Janin
Published in: PADL (2020)
Keyphrases
  • petri net
  • timed automata
  • highly efficient
  • discrete event
  • databases
  • natural language
  • real time
  • computer vision
  • database systems
  • finite state machines