LOEWE

MaRDI QIDQ40857swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/0169755293900526

Cited in

(11)

• Reflections on the future of concurrency theory in general and process calculi in particular
• Nested-unit Petri nets
• libDDD
• Renew
• Petriweb
• CAESAR
• caesar.bdd
• Meddly
• NUPN_INFO
• PNML2NUPN
• PNMC

This page was built for software: LOEWE