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

@article {633,
	title = {Deriving Control and Data States of an Interactive Priority Queue Using History Compactifications.},
	year = {2003},
	note = {In: N. Debnath, G. Montejano, D. Riesco (eds.): Proceedings of the International Conference on Computer Sience, Software Engineering, Information Technology, e-Business, and Applications. Rio de Janeiro, Brazil, June 5-7, 2003. Cary, NC: The International Society for Computers and Their Applications 2003, 210-217 [ISBN 0-9742059-0-7]},
	author = {W. Dosch}
}