LOEWE

swMATH29143MaRDI QIDQ40857FDOQ40857

Author name not available (Why is that?)

Cited In (2)

• Reflections on the future of concurrency theory in general and process calculi in particular
• Nested-unit Petri nets

This page was built for software: LOEWE