Topological Construction of Parameterized Bisimulation Limit (Q2994479): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.11.026
@@ Property / DOI: 10.1016/j.entcs.2009.11.026 / rank @@
-Normal rank
@@ Property / author @@
+Yan-Fang Ma
@@ Property / author: Yan-Fang Ma / 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.entcs.2009.11.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2092092493
@@ Property / OpenAlex ID: W2092092493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701735
@@ Property / cites work: Q2701735 / rank @@
+Normal rank
@@ Property / cites work @@
+A context dependent equivalence between processes
@@ Property / cites work: A context dependent equivalence between processes / rank @@
+Normal rank
@@ Property / cites work @@
+Topology in process calculus. I: Limit behaviour of agents
+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 @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.11.026
@@ Property / DOI: 10.1016/J.ENTCS.2009.11.026 / rank @@
+Normal rank