Proof that flows form a prefix order

From the course by EIT 数字
Quantitative Formal Modeling and Worst-Case Performance Analysis
35 ratings
From the lesson
Syntax and semantics

Meet the Instructors

  • Pieter Cuijpers Pieter Cuijpers
    Assistant Professor
    Mathematics and Computer Science
  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science