scientific article; zbMATH DE number 1988956

MaRDI QIDQ4430283zbMATH OpenFDO

Authors Annie Choquet, Alain Finkel

Publication date 20 October 2003

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(1)

• Fifo nets without order deadlock

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4430283)