Skip to content

Programming with Petri Nets to Reason about Concurrency.

Julien Lepiller

VenueAICFP
Year2020
ProceedingsScheme@ICFP

Browse the full ICFP paper archive.