We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Correction to: Sound reasoning in tock-CSP.
- Authors
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana
- Abstract
(21) and (22) on page 14 replacing "the traces from HT <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>P</mi></math> ht that" with "traces based on traces of HT <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>P</mi></math> ht that" in the final paragraph on page 16 changing the type of HT <math xmlns="http://www.w3.org/1998/Math/MathML"><mi>r</mi></math> ht to "seq HT <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mi mathvariant="italic">Obs</mi></mrow></math> ht " in Eq. (50) on page 19 The original article has been corrected. Correction to: Acta Informatica https://doi.org/10.1007/s00236-020-00394-3 In the original article, there were a few errors published online. These are as follows: changing " HT <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mi>r</mi><mn>2</mn><mi>r</mi></mrow></math> ht " to " HT <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mi>r</mi><mn>2</mn><mspace width="0.277778em" /><mo stretchy="true">\</mo><mtext>prefix</mtext><mspace width="0.277778em" /><mi>r</mi></mrow></math> ht " in Eqs.
- Subjects
INTERNET publishing
- Publication
Acta Informatica, 2022, Vol 59, Issue 2/3, p283
- ISSN
0001-5903
- Publication type
Article
- DOI
10.1007/s00236-021-00409-7