cs.cmu.edu/afs/cs/user/bam/www/langbook.html 1991 workshop proceedings looks interesting but not sure it's worth buying 🤔 But amazon free sample is generous, reading that first...

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