A basic algebra of stateless connectors (Q860881): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.07.005
@@ Property / DOI: 10.1016/j.tcs.2006.07.005 / 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.1016/j.tcs.2006.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2135173989
@@ Property / OpenAlex ID: W2135173989 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Network algebra for asynchronous dataflow<sup>∗</sup>
+Normal rank
@@ Property / cites work @@
+Q4673419
@@ Property / cites work: Q4673419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941924
@@ Property / cites work: Q4941924 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for algebras of connections.
@@ Property / cites work: Normal forms for algebras of connections. / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485876
@@ Property / cites work: Q3485876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for structured transition systems and its application to logic programs
+Normal rank
@@ Property / cites work @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics of parallel program design
@@ Property / cites work: Categorical semantics of parallel program design / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bicategories of processes
@@ Property / cites work: Bicategories of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction combinators
@@ Property / cites work: Interaction combinators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038716
@@ Property / cites work: Q4038716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity of open terms.
@@ Property / cites work: Bisimilarity of open terms. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492940
@@ Property / cites work: Q4492940 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.07.005
@@ Property / DOI: 10.1016/J.TCS.2006.07.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:860881