Orthomodular Lattices in Occurrence Nets
暂无分享,去创建一个
[1] Doina Bucur,et al. Secure Data Flow in a Calculus for Context Awareness , 2008, Concurrency, Graphs and Models.
[2] Eike Best,et al. Nonsequential Processes , 1988, EATCS Monographs on Theoretical Computer Science.
[3] Sylvia Pulmannová,et al. Orthomodular structures as quantum logics , 1991 .
[4] A. Jadczyk,et al. Causal logic of Minkowski space , 1977 .
[5] H. Casini. The logic of causally closed spacetime subsets , 2002 .
[6] Gianfranco Balbo,et al. Application and Theory of Petri Nets 1997 , 1997 .
[7] Abner Shimony,et al. The logic of quantum mechanics , 1981 .
[8] César Fernández. Non-sequential Processes , 1986, Advances in Petri Nets.
[9] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..
[10] Samson Abramsky. Petri Nets, Discrete Physics, and Distributed Quantum Computation , 2008, Concurrency, Graphs and Models.
[11] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[12] Eike Best,et al. Nonsequential Processes: A Petri Net View , 1988 .
[13] P. S. Thiagarajan,et al. A lattice theoretic view of K-density , 1984, European Workshop on Applications and Theory in Petri Nets.
[14] C. A. Petri. Concepts of Net Theory , 1973, MFCS.
[15] W. J. Thron,et al. Encyclopedia of Mathematics and its Applications. , 1982 .
[16] C. A. Petri. Nets, Time and Space , 1996, Theoretical Computer Science.
[17] Bombelli,et al. Space-time as a causal set. , 1987, Physical review letters.
[18] Carl Adam Petri. On the Physical Basics of Information Flow , 2008, Petri Nets.
[19] Mark-Oliver Stehr,et al. Petri's Axioms of Concurrency- A Selection of Recent Results , 1997, ICATPN.