From Dynamic Condition Response Structures to Büchi Automata

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Standard

From Dynamic Condition Response Structures to Büchi Automata. / Mukkamala, Raghava Rao; Hildebrandt, Thomas.

From Dynamic Condition Response Structures to Büchi Automata. Bind 0 IEEE Computer Society Press, 2010. s. 187-190.

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Harvard

Mukkamala, RR & Hildebrandt, T 2010, From Dynamic Condition Response Structures to Büchi Automata. i From Dynamic Condition Response Structures to Büchi Automata. bind 0, IEEE Computer Society Press, s. 187-190. https://doi.org/http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22

APA

Mukkamala, R. R., & Hildebrandt, T. (2010). From Dynamic Condition Response Structures to Büchi Automata. I From Dynamic Condition Response Structures to Büchi Automata (Bind 0, s. 187-190). IEEE Computer Society Press. https://doi.org/http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22

Vancouver

Mukkamala RR, Hildebrandt T. From Dynamic Condition Response Structures to Büchi Automata. I From Dynamic Condition Response Structures to Büchi Automata. Bind 0. IEEE Computer Society Press. 2010. s. 187-190 https://doi.org/http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22

Author

Mukkamala, Raghava Rao ; Hildebrandt, Thomas. / From Dynamic Condition Response Structures to Büchi Automata. From Dynamic Condition Response Structures to Büchi Automata. Bind 0 IEEE Computer Society Press, 2010. s. 187-190

Bibtex

@inproceedings{1fb84f5c4f1944ba913733678bbadd21,
title = "From Dynamic Condition Response Structures to B{\"u}chi Automata",
abstract = "Recently we have presented distributed dynamic condition response structures (DCR structures) as a declarative process model conservatively generalizing labelled event structures to allow for finite specifications of repeated, possibly infinite behavior. The key ideas are to split the causality relation of event structures in two dual relations: the condition relation and the response relation, to split the conflict relation in two relations: the dynamic exclusion and dynamic inclusion, and finally to allow configurations to be multi sets of events. In the present abstract we recall the model and show how to characterise the execution of DCR structures and the acceptance condition for infinite runs by giving a map to Bu{\" }chi-automata. This is the first step towards automatic verification of processes specified as DCR structures.",
author = "Mukkamala, {Raghava Rao} and Thomas Hildebrandt",
note = "@article{10.1109/TASE.2010.22, author = {Raghava Rao Mukkamala and Thomas T. Hildebrandt}, title = {From Dynamic Condition Response Structures to Buchi Automata}, journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on}, volume = {0}, isbn = {978-0-7695-4148-8}, year = {2010}, pages = {187-190}, doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }",
year = "2010",
doi = "http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22",
language = "English",
isbn = "978-0-7695-4148-8",
volume = "0",
pages = "187--190",
booktitle = "From Dynamic Condition Response Structures to B{\"u}chi Automata",
publisher = "IEEE Computer Society Press",

}

RIS

TY - GEN

T1 - From Dynamic Condition Response Structures to Büchi Automata

AU - Mukkamala, Raghava Rao

AU - Hildebrandt, Thomas

N1 - @article{10.1109/TASE.2010.22, author = {Raghava Rao Mukkamala and Thomas T. Hildebrandt}, title = {From Dynamic Condition Response Structures to Buchi Automata}, journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on}, volume = {0}, isbn = {978-0-7695-4148-8}, year = {2010}, pages = {187-190}, doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

PY - 2010

Y1 - 2010

N2 - Recently we have presented distributed dynamic condition response structures (DCR structures) as a declarative process model conservatively generalizing labelled event structures to allow for finite specifications of repeated, possibly infinite behavior. The key ideas are to split the causality relation of event structures in two dual relations: the condition relation and the response relation, to split the conflict relation in two relations: the dynamic exclusion and dynamic inclusion, and finally to allow configurations to be multi sets of events. In the present abstract we recall the model and show how to characterise the execution of DCR structures and the acceptance condition for infinite runs by giving a map to Bu ̈chi-automata. This is the first step towards automatic verification of processes specified as DCR structures.

AB - Recently we have presented distributed dynamic condition response structures (DCR structures) as a declarative process model conservatively generalizing labelled event structures to allow for finite specifications of repeated, possibly infinite behavior. The key ideas are to split the causality relation of event structures in two dual relations: the condition relation and the response relation, to split the conflict relation in two relations: the dynamic exclusion and dynamic inclusion, and finally to allow configurations to be multi sets of events. In the present abstract we recall the model and show how to characterise the execution of DCR structures and the acceptance condition for infinite runs by giving a map to Bu ̈chi-automata. This is the first step towards automatic verification of processes specified as DCR structures.

U2 - http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22

DO - http://doi.ieeecomputersociety.org/10.1109/TASE.2010.22

M3 - Article in proceedings

SN - 978-0-7695-4148-8

VL - 0

SP - 187

EP - 190

BT - From Dynamic Condition Response Structures to Büchi Automata

PB - IEEE Computer Society Press

ER -

ID: 227990277