A spatial logic for concurrency. II (Q1881257): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2003.10.041
@@ Property / DOI: 10.1016/j.tcs.2003.10.041 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SLMC
@@ Property / describes a project that uses: SLMC / rank @@
+Normal rank
@@ 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.tcs.2003.10.041
+Normal rank
@@ Property / OpenAlex ID @@
+W2073222985
@@ Property / OpenAlex ID: W2073222985 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56982084
@@ Property / Wikidata QID: Q56982084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714431
@@ Property / cites work: Q5714431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484489
@@ Property / cites work: Q4484489 / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737192
@@ Property / cites work: Q4737192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417861
@@ Property / cites work: Q4417861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763663
@@ Property / cites work: Q2763663 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778816
@@ Property / cites work: Q2778816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440827
@@ Property / cites work: Q4440827 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Separability in the Ambient Logic
@@ Property / cites work: Separability in the Ambient Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714442
@@ Property / cites work: Q5714442 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2003.10.041
@@ Property / DOI: 10.1016/J.TCS.2003.10.041 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1881257