The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3102349219
@@ Property / OpenAlex ID: W3102349219 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09927
@@ Property / arXiv ID: 1902.09927 / rank @@
+Normal rank
@@ Property / cites work @@
+The Applied Pi Calculus
@@ Property / cites work: The Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4619824
@@ Property / cites work: Q4619824 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Some congruence properties for \(\pi\)-calculus bisimilarities
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy and group creation
@@ Property / cites work: Secrecy and group creation / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling information release in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Region analysis and a π-calculus with groups
@@ Property / cites work: Region analysis and a π-calculus with groups / rank @@
+Normal rank
@@ Property / cites work @@
+Session types revisited
@@ Property / cites work: Session types revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Encyclopedia of Parallel Computing
@@ Property / cites work: Encyclopedia of Parallel Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013869
@@ Property / cites work: Q5013869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986260
@@ Property / cites work: Q4986260 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+The security pi-calculus and non-interference
@@ Property / cites work: The security pi-calculus and non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+A Distribution Law for CCS and a New Congruence Result for the pi-calculus
+Normal rank
@@ Property / cites work @@
+On Bisimilarity and Substitution in Presence of Replication
+Normal rank
@@ Property / cites work @@
+Q4600769
@@ Property / cites work: Q4600769 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of higher-order process calculi
+Normal rank
@@ Property / cites work @@
+Static VS Dynamic Reversibility in CCS
@@ Property / cites work: Static VS Dynamic Reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536438
@@ Property / cites work: Q4536438 / rank @@
+Normal rank
@@ Property / cites work @@
+On asynchrony in name-passing calculi
@@ Property / cites work: On asynchrony in name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525288
@@ Property / cites work: Q4525288 / rank @@
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013871
@@ Property / cites work: Q5013871 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for modeling floating authorizations
@@ Property / cites work: A calculus for modeling floating authorizations / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Origins of bisimulation and coinduction
@@ Property / cites work: Origins of bisimulation and coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1996859