Echidna: a system for manipulating explicit choice higher dimensional automata

Richard Buckland; Michael Johnson

Echidna: a system for manipulating explicit choice higher dimensional automata

Richard Buckland, Michael Johnson

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

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 language	English
Title of host publication	Algebraic methodology and software technology
Subtitle of host publication	5th international conference, AMAST 1996, proceedings
Editors	Martin Wirsing, Maurice Nivat
Place of Publication	Berlin ; Heidelberg ; New York
Publisher	Springer, Springer Nature
Pages	587-590
Number of pages	4
Volume	1101
ISBN (Print)	9783540614630
Publication status	Published - 1996
Event	5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 - Munich, Germany Duration: 1 Jul 1996 → 5 Jul 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1101
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996
Country/Territory	Germany
City	Munich
Period	1/07/96 → 5/07/96

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). Springer, Springer Nature.

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

@inproceedings{663a300e6fbd48089d023d18611f9aba,

title = "Echidna: a system for manipulating explicit choice higher dimensional automata",

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.",

author = "Richard Buckland and Michael Johnson",

year = "1996",

language = "English",

isbn = "9783540614630",

volume = "1101",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "587--590",

editor = "Martin Wirsing and Maurice Nivat",

booktitle = "Algebraic methodology and software technology",

address = "United States",

note = "5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 ; Conference date: 01-07-1996 Through 05-07-1996",

}

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1101, Springer, Springer Nature, Berlin ; Heidelberg ; New York, pp. 587-590, 5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996, Munich, Germany, 1/07/96.

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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Echidna

T2 - 5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996

AU - Buckland, Richard

AU - Johnson, Michael

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=21344449677&partnerID=8YFLogxK

M3 - Conference proceeding contribution

AN - SCOPUS:21344449677

SN - 9783540614630

VL - 1101

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 587

EP - 590

BT - Algebraic methodology and software technology

A2 - Wirsing, Martin

A2 - Nivat, Maurice

PB - Springer, Springer Nature

CY - Berlin ; Heidelberg ; New York

Y2 - 1 July 1996 through 5 July 1996

ER -

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

Echidna: a system for manipulating explicit choice higher dimensional automata

Abstract

Publication series

Other

Other files and links

Fingerprint

Cite this