Concurrency Theory: 20: Petri Net Semantics of CCS (Mo, 15.01.2018)
  • Einbetten