PPT Slide
A GeneralizedDeadlock-FreeProcess Calculus
Eijiro SumiiNaoki Kobayashi
University of Tokyo
Next slide
Back to first slide
View graphic version