Type Judgment
?; ?из P
? : type environment (mapping from variables to types)
? : time tag ordering (binary relation on time tags)
P uses communication channels according to:
the usage specified by ?
the order specified by ?
Previous slide
Next slide
Back to first slide
View graphic version