Luca Bernardinello, Lucia Pomello. A Category of Transition Systems and Its Relations with Orthomodular Posets. In Igor PrĂvara, Peter Ruzicka, editors, Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Volume 1295 of Lecture Notes in Computer Science, pages 139-148, Springer, 1997.
Abstract is missing.