Applying string-rewriting to sequence-based specification (Q2248084): Difference between revisions

@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES
+Normal rank
@@ Property / cites work @@
+REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES
+Normal rank
@@ Property / cites work @@
+Applying string-rewriting to sequence-based specification
+Normal rank
@@ Property / cites work @@
+The trace specification of communications protocols
+Normal rank
@@ Property / cites work @@
+Q2848418
@@ Property / cites work: Q2848418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128862
@@ Property / cites work: Q3128862 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiom system for sequence-based specification
@@ Property / cites work: An axiom system for sequence-based specification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949940
@@ Property / cites work: Q3949940 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Method for the Abstract Specification of Software
+Normal rank
@@ Property / cites work @@
+The new math of computer programming
@@ Property / cites work: The new math of computer programming / rank @@
+Normal rank