Sage Journals HomeSage Journals Home
loading
Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence