Concurrent programming in Ada
Programming language translation: a practical approach
Programming language translation: a practical approach
Operating systems: design and implementation
Operating systems: design and implementation
Experiences teaching concurrency in Ada
ACM SIGAda Ada Letters
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
SOS: a monitor-based operating system for instruction
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Principles of concurrent and distributed programming
Principles of concurrent and distributed programming
The teaching language Pascal-FC
The Computer Journal - Special issue on procedural programming
A methodology for implementing highly concurrent data structures
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Teaching concurrent programming with Pascal-FC
ACM SIGCSE Bulletin
Concurrent programming
ACM SIGCSE Bulletin
An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
Monitors: an operating system structuring concept
Communications of the ACM
Operating System Concepts, 4th Ed.
Operating System Concepts, 4th Ed.
The implementation kit with monitors
ACM SIGPLAN Notices
“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 operating systems courseware
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
DPLab: an environment for distributed programming
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
BACI debugger: a GUI debugger for the BACI system
Journal of Computing Sciences in Colleges
Operating systems projects: Minix revisited
ACM SIGCSE Bulletin
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
Teaching operating system at the technical university-Sofia
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
A suite of tools for teaching concurrency
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
Teaching concurrency and nondeterminism with spin
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
ACM Inroads
If a picture is worth a thousand words, what would an animation be worth?
Proceedings of the 16th Western Canadian Conference on Computing Education
| Hi-index | 0.00 |