Luca Bernardinello, Lucia Pomello, Stefania Rombolà, 5606, Applications and Theory of Petri Nets, 2009, 163
H Casini, “The logic of causally closed spacetime subsets”, Class. Quantum Grav., 19, № 24, 2002, 6389
Wojciech Cegla, Current Issues in Quantum Logic, 1981, 419
M. Banai, “Quantization of space-time and the corresponding quantum mechanics”, Found Phys, 15, № 12, 1985, 1203
Luca Bernardinello, Lucia Pomello, Stefania Rombolà, “On Orthomodular Posets Generated by Transition Systems”, Electronic Notes in Theoretical Computer Science, 270, № 1, 2011, 147