Echidna

a system for manipulating explicit choice higher dimensional automata

Richard Buckland, Michael Johnson

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

Abstract

We present a system (ECHIDNA) used to manipulate models of concurrent processes based on explicit choice higher dimensional automata. Such models are more suited to the full software engineering process than the older non-deterministic automata and higher dimensional automata, but manipulating them does require computer assistance. The conference presentation will include a detailed introduction to explicit choice higher dimensional automata as well as a description and demonstration of the system ECHIDNA.

Original languageEnglish
Title of host publicationAlgebraic methodology and software technology
Subtitle of host publication5th international conference, AMAST 1996, proceedings
EditorsMartin Wirsing, Maurice Nivat
Place of PublicationBerlin ; Heidelberg ; New York
PublisherSpringer, Springer Nature
Pages587-590
Number of pages4
Volume1101
ISBN (Print)9783540614630
Publication statusPublished - 1996
Event5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 - Munich, Germany
Duration: 1 Jul 19965 Jul 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1101
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996
CountryGermany
CityMunich
Period1/07/965/07/96

Fingerprint Dive into the research topics of 'Echidna: a system for manipulating explicit choice higher dimensional automata'. Together they form a unique fingerprint.

  • Cite this

    Buckland, R., & Johnson, M. (1996). Echidna: a system for manipulating explicit choice higher dimensional automata. In M. Wirsing, & M. Nivat (Eds.), Algebraic methodology and software technology: 5th international conference, AMAST 1996, proceedings (Vol. 1101, pp. 587-590). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1101). Berlin ; Heidelberg ; New York: Springer, Springer Nature.