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 / author @@
-Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
-Normal rank
@@ Property / author @@
+Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6098625
@@ Property / zbMATH DE Number: 6098625 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+higher-order concurrency
@@ Property / zbMATH Keywords: higher-order concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimulation
@@ Property / zbMATH Keywords: bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hennessy-Milner logic
@@ Property / zbMATH Keywords: Hennessy-Milner logic / rank @@
+Normal rank
@@ 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.1016/j.cl.2012.04.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2052295798
@@ Property / OpenAlex ID: W2052295798 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:456466