Publications

3 results for Van Nguyen

Process semantics: Global axioms, compositional rules, and applications
- - Vicious Van Nguyen
  - Rob Strom
- 1988
- PODC 1988
A generalized object model
- - Van Nguyen
  - Brent Hailpern
- 1986
- ACM SIGPLAN Notices
A generalized object model
- - Van Nguyen
  - Brent Hailpern
- 1986
- OOPWORK 1986

Process semantics: Global axioms, compositional rules, and applications