In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
Correctness debugging of message passing programs using model verification techniques
In: FCT 2007. Fundamentals of computation theory. 16th international symposium. Proceedings. Budapest, 2007. (Lecture notes in computer science 4639.).
Top-down deterministic parsing of languages generated by CD grammar systems