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

@@ Property / DOI @@
-.1016/j.scico.2011.04.001
@@ Property / DOI: 10.1016/j.scico.2011.04.001 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6055921
@@ Property / zbMATH DE Number: 6055921 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+symbolic execution
@@ Property / zbMATH Keywords: symbolic execution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Reo constraint automata
@@ Property / zbMATH Keywords: Reo constraint automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coordination languages
@@ Property / zbMATH Keywords: coordination languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program verification
@@ Property / zbMATH Keywords: program verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+program validation
@@ Property / zbMATH Keywords: program validation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ReSpecT
@@ Property / describes a project that uses: ReSpecT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / 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 @@
+APL
@@ Property / describes a project that uses: 2APL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reoservice
@@ Property / describes a project that uses: Reoservice / 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.scico.2011.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2009315879
@@ Property / OpenAlex ID: W2009315879 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.SCICO.2011.04.001
@@ Property / DOI: 10.1016/J.SCICO.2011.04.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:433344