On Orthomodular Posets Generated by Transition Systems (Q2825351): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.01.013
+Normal rank
@@ Property / OpenAlex ID @@
+W1978735476
@@ Property / OpenAlex ID: W1978735476 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318324
@@ Property / Wikidata QID: Q113318324 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic model of observable properties in distributed systems
+Normal rank
@@ Property / cites work @@
+Causal logic of Minkowski space
@@ Property / cites work: Causal logic of Minkowski space / rank @@
+Normal rank
@@ Property / cites work @@
+Partial (set) 2-structures. II: State spaces of concurrent systems
+Normal rank
@@ Property / cites work @@
+Mathematical aspects of net theory
@@ Property / cites work: Mathematical aspects of net theory / rank @@
+Normal rank
@@ Property / cites work @@
+State-transition structures in physics and in computation
+Normal rank
@@ Property / cites work @@
+Orthomodular structures as quantum logics. Transl. from the Slovak
+Normal rank