Algèbre de processus et synchronisation (Q789894): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1979462141
@@ Property / OpenAlex ID: W1979462141 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow languages equal recursively enumerable languages
+Normal rank
@@ Property / cites work @@
+Q3325067
@@ Property / cites work: Q3325067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845486
@@ Property / cites work: Q4845486 / rank @@
+Normal rank
@@ Property / cites work @@
+The power of synchronizing operations on strings
@@ Property / cites work: The power of synchronizing operations on strings / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:789894