Linearity and bisimulation (Q997996): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2007.02.011
@@ Property / DOI: 10.1016/j.jlap.2007.02.011 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2007.02.011
+Normal rank
@@ Property / OpenAlex ID @@
+W1986229147
@@ Property / OpenAlex ID: W1986229147 / 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 @@
+Q4261075
@@ Property / cites work: Q4261075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230922
@@ Property / cites work: Q4230922 / rank @@
+Normal rank
@@ Property / cites work @@
+Authentication primitives and their compilation
@@ Property / cites work: Authentication primitives and their compilation / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417854
@@ Property / cites work: Q4417854 / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for concurrent programs and thread systems
+Normal rank
@@ Property / cites work @@
+Q2754157
@@ Property / cites work: Q2754157 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q3024834
@@ Property / cites work: Q3024834 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typed behavioural equivalences for processes in the presence of subtyping
+Normal rank
@@ Property / cites work @@
+Q2754161
@@ Property / cites work: Q2754161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary structures in process theory (1): Sets with renaming
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Noninterference through flow analysis
@@ Property / cites work: Noninterference through flow analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Small bisimulations for reasoning about higher-order imperative programs
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+On confluence in the π-calculus
@@ Property / cites work: On confluence in the π-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+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 @@
+A per model of secure information flow in sequential programs
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738241
@@ Property / cites work: Q4738241 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2007.02.011
@@ Property / DOI: 10.1016/J.JLAP.2007.02.011 / rank @@
+Normal rank