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

Masalagiu, Cristian; Istrail, Sorin

by Cristian Masalagiu, Sorin Istrail

Reference:

Cristian Masalagiu, Sorin Istrail, "Nivat's processing systems: decision problems related to protection and synchronization", In Theoretical Computer Science, vol. 26, pp. 83-103, 1983.

Bibtex Entry:

@ARTICLE{Masalagiu1983a,
  author = {Masalagiu, Cristian and Istrail, Sorin},
  title = {Nivat's processing systems: decision problems related to protection
	and synchronization},
  journal = {Theoretical Computer Science},
  year = {1983},
  volume = {26},
  pages = {83--103},
  owner = {Derek},
  timestamp = {2012.05.08},
  url = {http://www.brown.edu/Research/Istrail_Lab/papers/1-s2.0-0304397583900804-main.pdf},
  category = {Theory of Computation}
}