Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

CPS-VO

aliasing

biblio

Visible to the public LaCasa: Lightweight Affinity and Object Capabilities in Scala

Submitted by grigby1 on Tue, 05/30/2017 - 12:49pm
  • aliasing
  • composability
  • Metrics
  • object capabilities
  • object oriented security
  • pubcrawl
  • Resiliency
  • Scalability
  • uniqueness
file

Visible to the public Militao_Composing_Interfering_JA.pdf

Submitted by Jamie Presken on Wed, 12/07/2016 - 1:03pm
  • aliasing
  • CMU
  • interference control
  • Oct'16
  • rely-guarantee
  • typestates
biblio

Visible to the public Composing Interfering Abstract Protocols

Submitted by Jamie Presken on Wed, 12/07/2016 - 1:03pm
  • aliasing
  • CMU
  • interference control
  • Oct'16
  • rely-guarantee
  • typestates
  • CMU
  • Oct'16

Terms of Use  |  ©2023. CPS-VO