![]() |
Lossy Channel Systems |
[Abdulla and Jonsson, 1993]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (1993). Verifying Programs with Unreliable Channels. In: Proc. LICS '93-8th IEEE Int. Symp. on Logic in Computer Science. pp. 160--170. |
[Abdulla and Jonsson, 1996]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (1996). Verifying Programs with Unreliable Channels. In: Information and Computation, 127(2):91--101. |
[Abdulla and Jonsson, 1996]![]() ![]() |
Parosh Aziz Abdulla and Bengt Jonsson (1996). Undecidable Verification Problems for Programs with Unreliable Channels. In: Information and Computation, 130(1):71--90. |