Search

Home
Events
Projects
Publications
Posts
Research
Teaching
Contact

Automata

Asynchronous Team Automata

FM 2026

Can we Communicate? Using Dynamic Logic to Verify Team Automata

FM 2023

Featured Team Automata

FM 2021

© José Proença 2023

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite