A Category of Transition Systems and Its Relations with Orthomodular Posets.

Luca Bernardinello, Lucia Pomello

Browse the full MFCS paper archive.