For the most recent entries see the
Petri Nets Newsletter.
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.
Jürgensen, W.;
Vuong, S.T.
In:
Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 253-278.
Elsevier Science Publishers B. V. (North-Holland), IFIP,
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography