Conditional Automata: A Tool for Safe Removal of Negligible Events.

Roberto Segala, Andrea Turrini

Browse the full CONCUR paper archive.