Concurrent programming

Designing large real-time systems with Ada

Communications of the ACM

Ada 9X protected types in Pascal-FC

ACM SIGAda Ada Letters

Multiple uses of Internet in the classroom

3C ON-LINE

After you, Alfonse: a mutual exclusion toolkit

SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education

Distributed algorithms in Java

Proceedings of the 2nd conference on Integrating technology into computer science education

Multithreaded programming in an introduction to operating systems course

SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education

“Alfonse, your Java is ready!”

SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education

Re-engineering a concurrency simulator

ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education

A comparison of the concurrency features of Ada 95 and Java

Proceedings of the 1998 annual ACM SIGAda international conference on Ada

Interactive execution of distributed algorithms

Journal on Educational Resources in Computing (JERIC)

Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract)

Proceedings of the 13th International Symposium on Distributed Computing

Tools and Environments for Understanding Object-Oriented Concepts

ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology

Tools and Environments for Learning Object-Oriented Concepts

ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology

Race conditions: a case study

Journal of Computing Sciences in Colleges

ThreadMentor: a pedagogical tool for multithreaded programming

Journal on Educational Resources in Computing (JERIC)

A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming

Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS

Certification process of software components

ACM SIGSOFT Software Engineering Notes

Biomimetic in silico devices

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming

Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS