For the most recent entries see the
Petri Nets Newsletter
.
Keyword: pi-calculus
Engelfriet, Joost
;
Gelsema, Tjalling
:
Structural inclusion in the pi-calculus with replication.
2001.
Engelfriet, J.
;
Gelsema, T.
:
Multisets and structural congruence of the pi-calculus with replication.
1999.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography