The following pages link to Programming Languages and Systems (Q5316580):
Displayed 7 items.
- Java Jr (Q30913) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- Full Abstraction for Linda (Q5458387) (← links)