Symbolic execution of Reo circuits using constraint automata (Q433344): Difference between revisions

@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
+Normal rank
@@ Property / cites work @@
+Compositional Semantics of System-Level Designs Written in SystemC
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for channel-based component connectors
+Normal rank
@@ Property / cites work @@
+Q3614665
@@ Property / cites work: Q3614665 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Context-Dependent Channel-Based Service Models
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Execution Techniques for Test Purpose Definition
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q2989005
@@ Property / cites work: Q2989005 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition of Interacting Computations
@@ Property / cites work: Composition of Interacting Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Formal ReSpecT
@@ Property / cites work: Formal ReSpecT / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Three Coordination Models: Reo, ARC, and RRD
+Normal rank
@@ Property / cites work @@
+Q3046721
@@ Property / cites work: Q3046721 / rank @@
+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 @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4741716
@@ Property / cites work: Q4741716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873991
@@ Property / cites work: Q4873991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885877
@@ Property / cites work: Q4885877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution of concurrent systems using Petri nets
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank