More on bisimulations for higher order \(\pi\)-calculus (Q442289): 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.1016/j.tcs.2012.04.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2053976095
@@ Property / OpenAlex ID: W2053976095 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A theory of weak bisimulation for Core CML
@@ Property / cites work: A theory of weak bisimulation for Core CML / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of equivalences for asynchronous calculi
+Normal rank
@@ Property / cites work @@
+Bisimulations in the join-calculus
@@ Property / cites work: Bisimulations in the join-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484493
@@ Property / cites work: Q4484493 / rank @@
+Normal rank
@@ Property / cites work @@
+A CPS encoding of name-passing in higher-order mobile embedded resources
+Normal rank
@@ Property / cites work @@
+Contextual equivalence for higher-order pi-calculus revisited
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of higher-order process calculi
+Normal rank
@@ Property / cites work @@
+Q3929062
@@ Property / cites work: Q3929062 / 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 @@
+Q2760245
@@ Property / cites work: Q2760245 / rank @@
+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 @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank