I'm looking at defining a collaboration-centered language that has sound semantics (ie semantics under composition are intentional and generally useful) My understanding is that you can only verify semantics for a specific model, so trying to define a "good enough" model Do y'all know of any papers on the tradeoffs of various "computer" models for distributed machines? Bonus points if it has time costs and resource limits built in and supports heterogeneous machines. My best guesses so far are guarded petri nets or Poly