Results (2)

  • Layered Concurrent Programs
    Conference paper
  • Space-time interpolants
    Conference paper