Specification of highly parallel and distributed resource management

This publication has 9 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• Adequate path expressions
  Published by Springer Nature ,2005
• COSY ? a system specification language based on paths and processes
  Acta Informatica, 1979
• Synchronic aspects of data types : Construction of a non-algorithmic solution of the Banker's problem
  Published by Springer Nature ,1978
• Path Expressions
  Published by Defense Technical Information Center (DTIC) ,1975
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Acta Informatica, 1975
• Prevention of system deadlocks
  Communications of the ACM, 1969
• Cooperating Sequential Processes
  Published by Springer Nature ,1968
• Avoiding deadlock in multitasking systems
  IBM Systems Journal, 1968