Type Judgment in the Type System

?; ?├ P

? : type environment (mapping from variables to types)

? : time tag ordering (binary relation on time tags)

• P uses channels according to

  • the usage specified by ?
  • the order specified by ?

Previous slide

Next slide

Back to first slide

View graphic version