论文信息 - Synthesis of Transition Systems from Quantum Logics - 字舞流文

Synthesis of Transition Systems from Quantum Logics

Luca Bernardinello | Lucia Pomello | Carlo Ferigato | Adrián Puerto Aubel

[1] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.

[2] Luca Bernardinello,et al. An algebraic model of observable properties in distributed systems , 2003, Theor. Comput. Sci..

[3] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.

[4] Sylvia Pulmannová,et al. Orthomodular structures as quantum logics , 1991 .

[5] C. A. Petri. Concepts of Net Theory , 1973, MFCS.