An axiom system for sequence-based specification

DOI10.1016/J.TCS.2009.06.041MaRDI QIDQ1044834zbMATH OpenOpenAlexWikidataFDO

Authors Lan Lin, Stacy J. Prowell, Jesse H. Poore

Publication date 15 December 2009

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2009.06.041

zbMATH Keywords

automatonaxiom systemmealy machinerepresentationsequence-based specificationsoftware specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Systems specification by basic protocols
• On an approach to functional specification of automata systems. II
• scientific article; zbMATH DE number 1262881
• scientific article; zbMATH DE number 139814
• scientific article; zbMATH DE number 10084

Cites work

• Combining the box structure development method and CSP for software development
• Derivatives of Regular Expressions
• scientific article; zbMATH DE number 3833275 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• Representation of a class of nondeterministic semiautomata by canonical words.
• REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES
• Representation of semiautomata by canonical words and equivalences. II: Specification of software modules
• The new math of computer programming

Cited in

(1)

• Applying string-rewriting to sequence-based specification

Describes a project that uses

Uses Software

• SCR

This page was built for publication: An axiom system for sequence-based specification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1044834)