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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-013-0185-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2022085385
@@ Property / OpenAlex ID: W2022085385 / rank @@
+Normal rank
@@ 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