Deadlock analysis of unbounded process networks

Speaker Details

Bio to follow

Date:
Speakers:
Cosimo Laneve
Affiliation:
University of Bologna

    • Portrait of Jeff Running

      Jeff Running