Search Results for 'Bisimulation'

Bisimulation published presentations and documents on DocSlides.

A logic for true concurrency

A logic for true concurrency

tatiana-dople
46 Slides

Paolo . Baldan. . and. Silvia . Crafa. Univer...

Copyright © 2024 DocSlides. All Rights Reserved