Gypsy

This publication has 12 references indexed in Scilit:

• A study of protection in programming languages
  ACM SIGPLAN Notices, 1977
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• Overview of the Hydra Operating System development
  Published by Association for Computing Machinery (ACM) ,1975
• System structure for software fault tolerance
  Published by Association for Computing Machinery (ACM) ,1975
• The purpose of concurrent Pascal
  Published by Association for Computing Machinery (ACM) ,1975
• A Survey of Some Issues Concerning Abstract Data Types
  Published by Defense Technical Information Center (DTIC) ,1974
• PASCAL User Manual and Report
  Published by Springer Nature ,1974
• BLISS
  Communications of the ACM, 1971
• A hierarchy of high order languages for systems programming
  Published by Association for Computing Machinery (ACM) ,1971
• The nucleus of a multiprogramming system
  Communications of the ACM, 1970