Pages that link to "Item:Q2848363"
From MaRDI portal
The following pages link to A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets (Q2848363):
Displaying 2 items.
The following pages link to A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets (Q2848363):
Displaying 2 items.