ART: Transactional Resource Machine Objects

This ART collects some research directions based on the resource machine, including:

  • formal models of abstract data types of the resource machine;
  • object systems (compositional and transactional);
  • selected material of idealized Anoma.
1 Like