After you, Alfonse: a mutual exclusion toolkit
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Interactive execution of distributed algorithms
Journal on Educational Resources in Computing (JERIC)
Virtual trees for the byzantine generals algorithm
Proceedings of the 35th SIGCSE technical symposium on Computer science education
The SPIN Model Checker: Primer and Reference Manual
The SPIN Model Checker: Primer and Reference Manual
Teaching students to develop thread-safe java classes
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Teaching Concurrency Concepts to Freshmen
Transactions on Petri Nets and Other Models of Concurrency I
Teaching about threading: where and what?
ACM SIGACT News
JavaSpaces NetBeans: a linda workbench for distributed programming course
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Practical parallel and concurrent programming
Proceedings of the 42nd ACM technical symposium on Computer science education
Encouraging parallel thinking through explicit coordination modeling
Proceedings of the 42nd ACM technical symposium on Computer science education
If a picture is worth a thousand words, what would an animation be worth?
Proceedings of the 16th Western Canadian Conference on Computing Education
A model-driven approach to teaching concurrency
ACM Transactions on Computing Education (TOCE)
Hi-index | 0.00 |
This poster describes a suite of new or improved tools for teaching concurrent and distributed computation. The tools are written in Java for portability and are freely available at the address http://stwww.weizmann.ac.il/g-cs/~benari/software.htm, under the GNU General Public License. (Some tools invoke other programs which have different licensing arrangements.)