The complexity of reachability in distributed communicating processes
Acta Informatica1988Vol. 25(4), pp. 333–354
Related Papers
- → Low dimensional hybrid systems – decidable, undecidable, donʼt know(2012)30 cited
- Widening the Boundary Between Decidable and Undecidable Hybrid Systems(2002)
- → Reachability analysis of GSPDIs(2010)1 cited
- On the dynamics of PB systems with volatile membranes(2007)
- → On the Dynamics of PB Systems with Volatile Membranes(2007)2 cited