Separation of synchronous and asynchronous communication via testing (Q2465029): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2044829510
@@ Property / OpenAlex ID: W2044829510 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Basic observables for processes
@@ Property / cites work: Basic observables for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448369
@@ Property / cites work: Q4448369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852065
@@ Property / cites work: Q2852065 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair Π
@@ Property / cites work: Fair Π / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219055
@@ Property / cites work: Q4219055 / rank @@
+Normal rank
@@ Property / cites work @@
+Divergence and fair testing
@@ Property / cites work: Divergence and fair testing / rank @@
+Normal rank
@@ Property / cites work @@
+What is a ``good'' encoding of guarded choice?
@@ Property / cites work: What is a ``good'' encoding of guarded choice? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508309
@@ Property / cites work: Q4508309 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2465029