A logic for simulating discontinous systems.

Sanjai Narain, Jeff Rothenberg

Browse the full WSC paper archive.