Reasoning about synchronic groups

This publication has 10 references indexed in Scilit:

• Parallel programming: achieving portability through abstraction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The gamma model and its discipline of programming
  Science of Computer Programming, 1990
• A UNITY-style programming logic for shared dataspace programs
  IEEE Transactions on Parallel and Distributed Systems, 1990
• Mixed programming metaphors in a shared dataspace model of concurrency
  IEEE Transactions on Software Engineering, 1990
• Linda in context
  Communications of the ACM, 1989
• Data parallel algorithms
  Communications of the ACM, 1986
• Fairness
  Published by Springer Nature ,1986
• Impossibility of distributed consensus with one faulty process
  Journal of the ACM, 1985
• Associons: A Program Notation with Tuples Instead of Variables
  ACM Transactions on Programming Languages and Systems, 1981
• Communicating sequential processes
  Communications of the ACM, 1978