Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications

W. Dosch

Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications

W. Dosch

Institute of Software Engineering and Programming Languages

Original language	English
Pages	210-217
Number of pages	8
Publication status	Published - 2003
Event	Proceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000 - Rio de Janeiro, Brazil Duration: 05.06.2003 → 07.06.2003

Conference

Conference	Proceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000
Country/Territory	Brazil
City	Rio de Janeiro
Period	05.06.03 → 07.06.03

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Cite this

@conference{13cfdb8fa6d94040a8a1282fd73b2c0b,

title = "Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications",

author = "W. Dosch",

year = "2003",

language = "English",

pages = "210--217",

note = "Proceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000 ; Conference date: 05-06-2003 Through 07-06-2003",

}

Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications. / Dosch, W.
2003. 210-217 Paper presented at Proceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000, Rio de Janeiro, Brazil.

Research output: Contribution to conference › Conference Papers › peer-review

TY - CONF

T1 - Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications

AU - Dosch, W.

PY - 2003

Y1 - 2003

M3 - Conference Papers

SP - 210

EP - 217

T2 - Proceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications 2000

Y2 - 5 June 2003 through 7 June 2003

ER -