institute page.html)
GoogleScholar page
On transition systems and other models for concurrency:
On transition systems, bisimulations and open morphisms:
Created on August 26, 2022 at 20:45:00. See the history of this page for a list of all contributions to it.