Ignore:
Timestamp:
Nov 27, 2020, 9:08:17 AM (5 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
4432b52
Parents:
22b5b87
Message:

changes for SP&E proofs of concurrency paper

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/papers/concurrency/mail

    r22b5b87 r1f9a4d0  
    1010Dear Dr Buhr,
    1111
    12 Your manuscript entitled "Concurrency in C∀" has been received by Software:
     12Your manuscript entitled "Concurrency in Cforall" has been received by Software:
    1313Practice and Experience. It will be given full consideration for publication in
    1414the journal.
    … …  
    4141Dear Dr Buhr,
    4242
    43 Many thanks for submitting SPE-18-0205 entitled "Concurrency in C∀" to Software: Practice and Experience.
     43Many thanks for submitting SPE-18-0205 entitled "Concurrency in Cforall" to Software: Practice and Experience.
    4444
    4545In view of the comments of the referees found at the bottom of this letter, I cannot accept your paper for publication in Software: Practice and Experience. I hope that you find the referees' very detailed comments helpful.
Note: See TracChangeset for help on using the changeset viewer.