A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029): Difference between revisions

@@ Property / arXiv ID @@
+.01044
@@ Property / arXiv ID: 1510.01044 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Pattern-matching spi-calculus
@@ Property / cites work: Pattern-matching spi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Typed ψ-calculi
@@ Property / cites work: Typed ψ-calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Pattern Calculus
@@ Property / cites work: Concurrent Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Computing strong and weak bisimulations for psi-calculi
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order psi-calculi
@@ Property / cites work: Higher-order psi-calculi / rank @@
+Normal rank