Nivat's processing systems: decision problems related to protection and synchronization

  • Istrail S
  • Masalagiu C
  • 1


    Mendeley users who have this article in their library.
  • 0


    Citations of this article.


The paper introduces a model for processing systems which provides 'environment' to the abstract notion of process as introduced by Nivat [13]. A basic component of the model is a protection mechanism which is general enough to capture as particular instances known protection strategies (e.g., take, grant, create, parameter passing) [5, 8, 9]. Decision problems associated with these systems are discussed for both cases: processes with infinite and finite behaviours. Solvability results are obtained for the safety problem: as a corollary we get the solvability result of Beauquier in the context of his processes [1]. Unsolvability results are also derived. A concept of compatibility is introduced for processes acting in parallel subject to some synchronization condition. We show that the traversing from rational to algebraic systems can take the compatibility problem from solvable to unsolvable. © 1983.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • S. Istrail

  • C. Masalagiu

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free