Guest | Login
Company: Keywords: Online only:
Part Title Status
SRC RR-52 Modula-3 Report (revised)
  • Online
SRC RR-53 IO Streams: Abstract Types, Real Programs
  • Online
SRC RR-54 Explicit Substitutions
  • Online
SRC RR-55 A semantic basis for Quest
  • Online
SRC RR-56 Abstract Types and the Dot Notation
  • Online
SRC RR-58 Report on the Larch Shared Language Version 2.3
  • Online
SRC RR-59 Autonet: a High-speed, Self-configuring Local Area Network Using Point-to-point Links
  • Online
SRC RR-6 A Caching File System For a Programmer's Workstation
  • Online
SRC RR-60 Debugging Larch Shared Language Specification
  • Online
SRC RR-61 In Memoriam: J. C. R. Licklider, 1915-1990
  • Online
SRC RR-62 Subtyping Recursive Types
  • Online
SRC RR-63 Heap Usage in the Topaz Environment
  • Online
SRC RR-64 Experience with Concurrent Garbage Collectors for Module-2+
  • Online
SRC RR-65 An Axiomatization of Lamport's Temporal Logic of Actions
  • Online
SRC RR-66 Composing Specifications
  • Online
SRC RR-67 Authentication and Delegation with Smart-cards
  • Online
SRC RR-68 Trestle Reference Manual
  • Online
SRC RR-69 Trestle Tutorial
  • Online
SRC RR-7 A Fast Mutual Exclusion Algorithm
  • Online
SRC RR-70 A Calculus for Access Control in Distributed Systems
  • Online