:::

Faculty and staff

:::
Seminar paper
Entry Year81
Paper title (chapter)The specification and verification of synchronous concurrent computation
Name of conferenceParallel and distributed computing and systems, Pittsburg, PA
Conference starting time1992-10-01
Conference closing time1992-10-01
Year of publication1992
sponsorISMM
cron web_use_log