A framework for automated distributed implementation of component-based models (Q1938379): Difference between revisions

@@ Property / DOI @@
-.1007/s00446-012-0168-6
@@ Property / DOI: 10.1007/s00446-012-0168-6 / rank @@
-Normal rank
@@ Property / author @@
-Mohamad Y. Jaber
@@ Property / author: Mohamad Y. Jaber / rank @@
-Normal rank
@@ Property / author @@
-Joseph Sifakis
@@ Property / author: Joseph Sifakis / rank @@
-Normal rank
@@ Property / author @@
+Mohamad Y. Jaber
@@ Property / author: Mohamad Y. Jaber / rank @@
+Normal rank
@@ Property / author @@
+Joseph Sifakis
@@ Property / author: Joseph Sifakis / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / 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.1007/s00446-012-0168-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2050846431
@@ Property / OpenAlex ID: W2050846431 / rank @@
+Normal rank
@@ Property / cites work @@
+Sorting in \(c \log n\) parallel steps
@@ Property / cites work: Sorting in \(c \log n\) parallel steps / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q3768384
@@ Property / cites work: Q3768384 / rank @@
+Normal rank
@@ Property / cites work @@
+A Notion of Glue Expressiveness for Component-Based Systems
+Normal rank
@@ Property / cites work @@
+A framework for automated distributed implementation of component-based models
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination detection for diffusing computations
@@ Property / cites work: Termination detection for diffusing computations / rank @@
+Normal rank
@@ Property / cites work @@
+An $O(EV\log V)$ Algorithm for Finding a Maximal Weighted Matching in General Graphs
+Normal rank
@@ Property / cites work @@
+Composition for component-based modeling
@@ Property / cites work: Composition for component-based modeling / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Parallel Algorithm for the Maximal Independent Set Problem
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+A new self-stabilizing maximal matching algorithm
@@ Property / cites work: A new self-stabilizing maximal matching algorithm / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Software transactional memory
@@ Property / cites work: Software transactional memory / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00446-012-0168-6
@@ Property / DOI: 10.1007/S00446-012-0168-6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1938379