Tags
petri nets
join-calculus
free-choice petri nets
berlin
discotec 2014
forte 2014
equivalences
distributed computing
express/sos 2012
pi-calculus
yr-concur 2012
encoding
Mehr anzeigen
Präsentationen
(4)Tags
petri nets
join-calculus
free-choice petri nets
berlin
discotec 2014
forte 2014
equivalences
distributed computing
express/sos 2012
pi-calculus
yr-concur 2012
encoding
Mehr anzeigen