Are infinite behaviours of parallel system schemata necessary?

  • Ludwik Czaja
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)


A behaviour of a parallel system schema is a sequence of suitably choosen events occuring in progress of a computation induced by the schema. There is an evidence that any "resonable" parallel system schema is describable by means of elementary-recursive formulas with finite behaviours as operand values. There are some features usually inexpressible in any recursive way but nonetheless expressible by formulas with finite behaviours as operand values. In their number: deadlock, strong form of fairness and starvation. A weak, more adequate, form of fairness and starvation seem to exemplify features expressible by formulas with operands assuming merely infinite behaviours as their values. It turns out, however, the later formulas have their equivalent counterparts with finite behaviours as operand values. The paper discusses the issues in detail.


Mutual Exclusion Information Processing Letter Weak Fairness Synchronization Rule Infinite Behaviour 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    L. Czaja, A specification of parallel problems, Information Processing Letters, 8(4) (1979) 162–167Google Scholar
  2. [2]
    L. Czaja, Parallel system schemas and their relation to automata, Information Processing Letters, 10(3) (1980) 153–158Google Scholar
  3. [3]
    L. Czaja, Deadlock and fairness in parallel schemas: a set-theoretic characterization and decision problems, Information Processing Letters, 10 (4,5) (1980) 234–239Google Scholar
  4. [4]
    D. König, Über eine Schlussweise aus dem Endlichen ins Umendliche, Acta Litt. Ac. Sci. Hung. Fran. Josep. 3 (1927), 121–130Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Ludwik Czaja
    • 1
  1. 1.Institute of InformaticsUniversity of Warsaw PKiN VIIIpWarsawPoland

Personalised recommendations