Typed ψ-calculi (Q3090835): 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-642-23217-6_18
+Normal rank
@@ Property / OpenAlex ID @@
+W86813616
@@ Property / OpenAlex ID: W86813616 / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy by typing in security protocols
@@ Property / cites work: Secrecy by typing in security protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy types for asymmetric communication.
@@ Property / cites work: Secrecy types for asymmetric communication. / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring termination by typability
@@ Property / cites work: Ensuring termination by typability / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+A generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Type System for Lock-Freedom of Mobile Processes
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Space and Motion of Communicating Agents
@@ Property / cites work: The Space and Motion of Communicating Agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Trust and partial typing in open systems of mobile agents
+Normal rank
@@ Property / cites work @@
+The name discipline of uniform receptiveness
@@ Property / cites work: The name discipline of uniform receptiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank