institute page.html)
GoogleScholar page
On transition systems and other models for concurrency:
On transition systems, bisimulations and open morphisms:
Last revised on June 17, 2025 at 17:38:49. See the history of this page for a list of all contributions to it.