Location of Repository

Automatic proofs for scalecharts

By R. Bosworth
Topics: G100 Mathematics
Publisher: Springer-Verlag
Year: 2004
DOI identifier: 10.1007/b95854
OAI identifier: oai:eprints.brighton.ac.uk:1028

Suggested articles



  1. (1978). Clocks and the Ordering of Events in a Distributed System. doi
  2. (2004). Scalecharts - Self-similar Statecharts in a Dense Time Domain. To be published
  3. (1997). Semantics of Parallelism. doi
  4. (1987). Statecharts: a Visual Formalism for Complex Systems. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.