42nd Petri Nets 2021: Virtual Event

Refine list

showing all ?? records

Keynotes

Application of Concurrency to System Design

Games

Verification

Synthesis and Mining

Reachability and Partial Order

Semantics

Tools