Mots-clés
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
Tout plus
Présentations
(4)Mots-clés
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
Tout plus