Luca Bernardinello, Carlo Ferigato & Lucia Pomello (2003):
An algebraic model of observable properties in distributed systems.
Theor. Comput. Sci. 290(1),
pp. 637–668,
doi:10.1016/S0304-3975(02)00046-4.
Luca Bernardinello, Lucia Pomello & Stefania Rombolà (2010):
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets.
Fundamenta Informaticae 105(3),
pp. 211–235.
Available at http://dx.doi.org/10.3233/FI-2010-365.
E. Best & C. Fernandez (1988):
Nonsequential Processes–A Petri Net View.
EATCS Monographs on Theoretical Computer Science 13.
Springer-Verlag,
doi:10.1007/978-3-642-73483-0.
G. Birkhoff (1979):
Lattice Theory.
American Mathematical Society; 3rd Ed..
H. Casini (2002):
The logic of causally closed spacetime subsets.
Class. Quantum Grav. 19,
pp. 6389–6404,
doi:10.1088/0264-9381/19/24/308.
Z. Cegła, W. Jadczyk (1977):
Causal logic of Minkowski space.
Commun. Math. Phys. 57,
pp. 213–217,
doi:10.1007/bf01614163.
R.I.G. Hughes (1989):
The Structure and Interpretation of Quantum Mechanics.
Harvard University Press.
C. A. Petri (1977):
Non-Sequential Processes.
Technical Report ISF-77–5.
GMD Bonn.
Translation of a lecture given at the IMMD Jubilee Colloquium on `Parallelism in Computer Science', Universität Erlangen–Nürnberg. June 1976.
C.A. Petri (1982):
State-transition structures in physics and in computation.
International Journal of Theoretical Physics 21(12),
pp. 979–992,
doi:10.1007/BF02084163.
P. Pták, P. Pulmannová (1991):
Orthomodular Structures as Quantum Logics.
Kluwer Academic Publishers.
eptcs@eptcs.org