2004 Publications
-
Franck van Breugel.
De Bakker-Zucker processes revisited.
In Information and Computation, 188(1), pages 68-76,
2004.
-
Franck van Breugel,
Camillo Costantini and Stephen Watson. Isometries between a metric space and its hyperspace, function space and space of measures. In Topology and its Applications, 137(1/3), pages 51-57,
2004.
-
J. Edmonds,
On the competitiveness of AIMD-TCP within a general network.
In LATIN, Latin American Theoretical Informatics, pages 577-588,
2004
-
Mikhail Fomitchev and
Eric Ruppert.
Lock-free linked lists and skip lists.
In Proceedings of the 23rd ACM Symposium on Principles of
Distributed Computing, pages 50-59,
2004.
-
Mariya Koshkina and
Franck van Breugel.
Modelling and verifying web service orchestration by means of the
Concurrency Workbench.
In ACM SIGSOFT Software Engineering Notes, 29(5),
2004.
-
Zbigniew Stachniak. A note on satisfying truth-value assignments of boolean formulas. In Proc. 7th International Conference on Theory and Applications of Satisfiability Testing,
2004.
-
George Tourlakis and
Francisco Kibedi.
A modal extension of first order classical logic, Part II.
In Bulletin of the Section of Logic, 33(1), pages 1-10, 2004.