First-order reasoning for higher-order concurrency (Q456466): Difference between revisions

@@ Property / DOI @@
-.1016/j.cl.2012.04.003
@@ Property / DOI: 10.1016/j.cl.2012.04.003 / rank @@
-Normal rank
@@ Property / cites work @@
+Reasoning about higher-order processes
@@ Property / cites work: Reasoning about higher-order processes / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / 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 @@
+Contextual equivalence for higher-order pi-calculus revisited
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A Testing Theory for a Higher-Order Cryptographic Language
+Normal rank
@@ Property / cites work @@
+Small bisimulations for reasoning about higher-order imperative programs
+Normal rank
@@ Property / cites work @@
+Game Semantics for Higher-Order Concurrency
@@ Property / cites work: Game Semantics for Higher-Order Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing contextual equivalence in calculi with passivation
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound Bisimulations for Higher-Order Distributed Process Calculus
+Normal rank
@@ Property / cites work @@
+From π-calculus to higher-order π-calculus — and back
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation, modal logic and model checking games
+Normal rank
@@ Property / cites work @@
+A bisimulation for dynamic sealing
@@ Property / cites work: A bisimulation for dynamic sealing / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.CL.2012.04.003
@@ Property / DOI: 10.1016/J.CL.2012.04.003 / rank @@
+Normal rank