A Spatial Equational Logic for the Applied π-Calculus (Q3541032): 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.1007/978-3-540-85361-9_31
+Normal rank
@@ Property / OpenAlex ID @@
+W113287545
@@ Property / OpenAlex ID: W113287545 / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / 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 @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of the Ambient Logic
@@ Property / cites work: On the Expressiveness of the Ambient Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and complexity of graph logic
@@ Property / cites work: Expressiveness and complexity of graph logic / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Characterisation of Static Equivalence
@@ Property / cites work: A Logical Characterisation of Static Equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Spatial Equational Logic for the Applied π-Calculus
+Normal rank
@@ Property / cites work @@
+A calculus and logic of resources and processes
@@ Property / cites work: A calculus and logic of resources and processes / rank @@
+Normal rank
@@ Property / cites work @@
+Observing Distributed Computation. A Dynamic-Epistemic Approach
+Normal rank