Coordination: Reo, Nets, and Logic (Q3603000): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Linear Logic to Computation: An Overview
+Normal rank
@@ Property / cites work @@
+Q3357521
@@ Property / cites work: Q3357521 / 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 @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Q4736522
@@ Property / cites work: Q4736522 / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(\pi\)-calculus and linear logic
@@ Property / cites work: On the \(\pi\)-calculus and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Petri nets: Classification and comparative analysis
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851050
@@ Property / cites work: Q2851050 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-safe nets: Comparing the collective and individual token approaches.
+Normal rank
@@ Property / cites work @@
+Q5457269
@@ Property / cites work: Q5457269 / rank @@
+Normal rank
@@ Property / cites work @@
+Connector colouring. I: Synchronisation and context dependency
+Normal rank
@@ Property / cites work @@
+Completeness results for linear logic on Petri nets
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear and affine logics with temporal, spatial and epistemic operators
+Normal rank
@@ Property / cites work @@
+Linear logic as a logic of computations
@@ Property / cites work: Linear logic as a logic of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic automata
@@ Property / cites work: Linear logic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Artificial Intelligence – SBIA 2004
@@ Property / cites work: Advances in Artificial Intelligence – SBIA 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of the logic of bunched implications
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank