We introduce Stochastic Process Algebras as a novel approach for the struc-tured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras. After advocating the use of stochasti...

The "mid" (Message-ID) and "cid" (Content-ID) URL schemes provide identifiers for messages and their body parts. The "mid" scheme uses (a part of) the message-id of an email message to refer to a specific message. The "cid" scheme refers to a specific body part of a message; its use is generally limited to references to other body parts in the same message as the referring body part. The "mid" ...

One of the major problems in reductive proof theory in the early 1970s was to give a proof-theoretic reduction of classical theories of iterated arithmetical inductive definitions to corresponding constructive systems. This problem was solved in [BFPS] in various ways which all where based on the method of cut-elimination (normalization, reps.) for infinitary Tait-style sequent calculi (infinit...

aims: intellectual disability is a condition characterised by the inability of a person to undertake normal psychological activities. the purpose of this study was to systematically review the intellectual disability in children and discuss the implications of different environmental and genetic factors, which describe particular categories of intellectual disable cases. information & methods: ...