Controlling loosely cooperating processes (Q896910): 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.2015.07.044
+Normal rank
@@ Property / OpenAlex ID @@
+W1025231194
@@ Property / OpenAlex ID: W1025231194 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed languages
@@ Property / cites work: Mixed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
+Normal rank
@@ Property / cites work @@
+Parallel Program Schemata and Maximal Parallelism I. Fundamental Results
+Normal rank
@@ Property / cites work @@
+Q4535033
@@ Property / cites work: Q4535033 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q3152830
@@ Property / cites work: Q3152830 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Asynchronous Systems
@@ Property / cites work: Synthesis of Asynchronous Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:896910