A Communication Lower Bound for Invariance Preserving on Partitioned Transition Systems.

Osvaldo Carvalho, Antonio Alfredo Ferreira Loureiro

Browse the full OPODIS paper archive.