Analysis and applications of the XDI model

WC Mallon; JT Udding; T Verhoeff

Analysis and applications of the XDI model

WC Mallon^*, JT Udding, T Verhoeff

^*Corresponding author for this work

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

11 Citations (Scopus)

Abstract

It is,not always straight forward to implement a network that is robust enough to be functionally independent of communication delay. in order, to specify and verify so called Delay I,Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution? models and a distributive parallel composition cannot coexist.

Original language	English
Title of host publication	FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS
Place of Publication	LOS ALAMITOS
Publisher	IEEE (The Institute of Electrical and Electronics Engineers)
Pages	231-242
Number of pages	12
ISBN (Print)	0-7695-0031-5
Publication status	Published - 1999
Event	5th International Symposium on Advanced Research in Asynchronous Circuits and Systems - , Spain Duration: 19-Apr-1999 → 21-Apr-1999

Publication series

Name	PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS
Publisher	IEEE COMPUTER SOC
ISSN (Print)	1522-8681

Other

Other	5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Country/Territory	Spain
Period	19/04/1999 → 21/04/1999

Keywords

delay insensitivity
verification
derivation
factorization
communicating processes

Handle.net

Persistent link

Cite this

Mallon, WC., Udding, JT., & Verhoeff, T. (1999). Analysis and applications of the XDI model. In FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS (pp. 231-242). (PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS). IEEE (The Institute of Electrical and Electronics Engineers).

Mallon, WC ; Udding, JT ; Verhoeff, T. / Analysis and applications of the XDI model. FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS. LOS ALAMITOS : IEEE (The Institute of Electrical and Electronics Engineers), 1999. pp. 231-242 (PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS).

@inproceedings{549de4c6c5e14e0b99c527a94ffd28eb,

title = "Analysis and applications of the XDI model",

abstract = "It is,not always straight forward to implement a network that is robust enough to be functionally independent of communication delay. in order, to specify and verify so called Delay I,Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution? models and a distributive parallel composition cannot coexist.",

keywords = "delay insensitivity, verification, derivation, factorization, communicating processes",

author = "WC Mallon and JT Udding and T Verhoeff",

year = "1999",

language = "English",

isbn = "0-7695-0031-5",

series = "PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS",

publisher = "IEEE (The Institute of Electrical and Electronics Engineers)",

pages = "231--242",

booktitle = "FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS",

note = "5th International Symposium on Advanced Research in Asynchronous Circuits and Systems ; Conference date: 19-04-1999 Through 21-04-1999",

}

Mallon, WC, Udding, JT & Verhoeff, T 1999, Analysis and applications of the XDI model. in FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS. PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS, IEEE (The Institute of Electrical and Electronics Engineers), LOS ALAMITOS, pp. 231-242, 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems, Spain, 19/04/1999.

Analysis and applications of the XDI model. / Mallon, WC; Udding, JT; Verhoeff, T.
FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS. LOS ALAMITOS: IEEE (The Institute of Electrical and Electronics Engineers), 1999. p. 231-242 (PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS).

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

TY - GEN

T1 - Analysis and applications of the XDI model

AU - Mallon, WC

AU - Udding, JT

AU - Verhoeff, T

PY - 1999

Y1 - 1999

N2 - It is,not always straight forward to implement a network that is robust enough to be functionally independent of communication delay. in order, to specify and verify so called Delay I,Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution? models and a distributive parallel composition cannot coexist.

AB - It is,not always straight forward to implement a network that is robust enough to be functionally independent of communication delay. in order, to specify and verify so called Delay I,Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a network. We implemented these computations in a tool. We also show how healthiness, finite execution? models and a distributive parallel composition cannot coexist.

KW - delay insensitivity

KW - verification

KW - derivation

KW - factorization

KW - communicating processes

M3 - Conference contribution

SN - 0-7695-0031-5

T3 - PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS

SP - 231

EP - 242

BT - FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS

PB - IEEE (The Institute of Electrical and Electronics Engineers)

CY - LOS ALAMITOS

T2 - 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems

Y2 - 19 April 1999 through 21 April 1999

ER -

Mallon WC, Udding JT, Verhoeff T. Analysis and applications of the XDI model. In FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS. LOS ALAMITOS: IEEE (The Institute of Electrical and Electronics Engineers). 1999. p. 231-242. (PROCEEDINGS - INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS).

Analysis and applications of the XDI model

Abstract

Publication series

Other

Keywords

Handle.net

Fingerprint

Cite this