LOEWE

swMATH29143MaRDI QIDQ40857FDOQ40857

Author name not available (Why is that?)

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