Search Results for 'bisimulation'

bisimulation published presentations and documents on DocSlides.

A logic for true concurrency

by tatiana-dople

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