Operating system design: the XINU approach
Operating system design: the XINU approach
Modula-2 projects for an operation-systems course: racing sorts and multiple windows
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Operating systems: design and implementation
Operating systems: design and implementation
Concurrent programming in Modula-2
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
The logical design of operating systems (2nd ed.)
The logical design of operating systems (2nd ed.)
Operating systems concepts
An operating systems course using MINIX
ACM SIGCSE Bulletin
An introduction to operating systems (2nd ed.)
An introduction to operating systems (2nd ed.)
Communicating sequential processes
Communications of the ACM
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
The architecture of concurrent programs
The architecture of concurrent programs
Principles of Concurrent Programming
Principles of Concurrent Programming
Operating Systems Projects: linking theory, practice and use
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
A simple student environment for lightweight process concurrent programming under SunOs
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Classroom projects on database connectivity and the Web
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
BACI debugger: a GUI debugger for the BACI system
Journal of Computing Sciences in Colleges
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments
Proceedings of the 4th ACM symposium on Software visualization
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
A short unit to introduce multi-threaded programming
Journal of Computing Sciences in Colleges
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions
Information Visualization
Using model checking tool for teaching concurrent programming concepts
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
Hi-index | 0.00 |