A spatial equational logic for the applied \(\pi \)-calculus (Q992517): Difference between revisions

@@ 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.1007/s00446-010-0112-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2026881877
@@ Property / OpenAlex ID: W2026881877 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
+Normal rank
@@ Property / cites work @@
+On the Relationship between Spatial Logics and Behavioral Simulations
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+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 @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding validity in a spatial logic for trees
@@ Property / cites work: Deciding validity in a spatial logic for trees / rank @@
+Normal rank
@@ Property / cites work @@
+Context logic and tree update
@@ Property / cites work: Context logic and tree update / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / 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 @@
+Separability in the Ambient Logic
@@ Property / cites work: Separability in the Ambient Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Spatial Equational Logic for the Applied π-Calculus
+Normal rank
@@ Property / cites work @@
+Observing Distributed Computation. A Dynamic-Epistemic Approach
+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 @@
+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 @@
+Extensionality and intensionality of the ambient logics
+Normal rank