Refinement and implementation techniques for Abstract State Machines

@inproceedings{Schmid2002RefinementAI,
  title={Refinement and implementation techniques for Abstract State Machines},
  author={Joachim Schmid},
  year={2002}
}
Contents Introduction 1 1 Submachine Concept 3 1. 

References

Publications referenced by this paper.
Showing 1-10 of 65 references

The B-Book

  • J. R. Abrial
  • Assigning Programs to Meanings. Cambridge…
  • 1996
Highly Influential
5 Excerpts

The ASM-Workbench

  • G. Del Castillo
  • A tool environment for computer aided analysis…
  • 2000
Highly Influential
9 Excerpts

and T

  • T. Vullinghs, W. Schulte
  • Schwinn. An introduction to Tk- Gofer
  • 1996
Highly Influential
5 Excerpts

VHDL reference

  • U. Heinkel
  • A pratical guide to computer-aided integrated…
  • 2000
Highly Influential
20 Excerpts

Haskell

  • S. Thompson
  • The Craft of Functional Programming. Addison…
  • 1999
Highly Influential
4 Excerpts

The ASM Workbench

  • G. Del Castillo
  • an open and extensible tool environment for…
  • 1998
Highly Influential
5 Excerpts

Digitial Design and Modeling with VHDL and Synthesis

  • K. C. Chang
  • IEEE Computer Society Press
  • 1997
Highly Influential
20 Excerpts

Similar Papers

Loading similar papers…