• No results found

ˆ Page 33, last paragraph, line 3, runtime errors → registration errors.

N/A
N/A
Info
Download
Protected

Academic year: 2021

Share "ˆ Page 33, last paragraph, line 3, runtime errors → registration errors."

Copied!
1
0
0

Loading.... (view fulltext now)

Download now ( 1 Page )

Full text

(1)

Errata

This is errata for the dissertation “Parameterized Verification of Synchro- nized Concurrent Programs”.

ˆ Page 33, last paragraph, line 3, runtime errors → registration errors.

ˆ Page 36, paragraph 4, remove ”partial configurations and inclusion”.

ˆ Page 40, Figure 4.4, p 0 → p 2 , p 1 → p 0 , p 2 → p 1 , label of the edge from t i to p j should be sig p t

i

j

, wait t p

i

j

.

ˆ Page 44, line 3, (t1 : inc : x1) → (t1 : res : x1).

ˆ Page 55, last word of proof of Lemma 3, exact → correct.

ˆ Page 56, line 3, Figure 6 → constraint relation code in previous page.

ˆ Page 67, proof of Theorem 12, remove the first four lines of the proof.

ˆ Page 69, lines 25 and 36, sj → si.

ˆ Page 75, line 4 from below, N → G.

ˆ Page 87, last line, p concTasksPhasers → p c .

ˆ Page 92, line 6, κ 0 = κ ∪ {u t → u φ | t ∈ κ −1 (t φ )}.

ˆ Page 92, Section 5.5.3, line 9, γ → gap, egap.

ˆ Page 122, paragraph 2, line 5, predicate → variable.

ˆ Page 150, paragraph 3, last line, 2 → 6.

1

References

Download now ( PDF - 1 Page - 92.14 KB )

Related documents

Intangible Assets and Analyst Forecast Errors

Further, the study finds that firms capitalizing a larger proportion of their underlying intangible assets have higher analyst following, lower dispersion of analysts’

Chapter 8 Page 112, 2nd paragraph, last sentence

[r]

Should read: during lifetime Page 11, paragraph 2, line 11

of women and 10% of men report suicide thoughts at some point

Errors made in time and tense

The errors that were found in the past tense are divided and presented in four sections; first, errors which belong to the simple past, second, errors made in the present

Errors (Errata)

19, first paragraph, fourth sentence should read: “In the case of Swedish individualism, Heinö finds…”.. 23, first paragraph, first sentence includes the wrong figure

Errata Page/line:

9 all things considered?” all things considered?” (emphasis

Errors-in-variables Systems Using Periodic Excitation Signals

In the paper a non-parametric noise model, estimated directly from the measured data, is used in a compensation strategy applicable to both least squares and total least

The Problem with Errors:

The purpose of this dissertation is to explore platform development processes from a problem-solving perspective. Specifically, the research takes a point of