For the most recent entries see the
Petri Nets Newsletter.
Trace Semantics for Communicating Sequential Processes.
Janicki, R.
Inst. for Elektron. Systemer, Aalborg Universitetscenter, Denmark, R 85-12,
August 1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography