Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Slides 15 Kommunikacio-Verifikacio

Slides 15 Kommunikacio-Verifikacio

Ratings: (0)|Views: 4|Likes:
Published by Sweidán Omár

More info:

Published by: Sweidán Omár on Oct 25, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/25/2011

pdf

text

original

 
Utolsó módosítás: 2011. 03. 27.
 
Az előadás a
R. Hamberg and F. Vaandrager.Using Model Checkers in an IntroductoryCourse on Operating Systems. OSR 42(6):101-111.
cikkben közzétett modellekethasználja fel.
 1
 
Harris Hyman, Comments on a problem in concurrent programming control,Communications of the ACM, v.9 n.1, p.45, Jan. 19662
 
G.Peterson. Myths about the mutual exclusion problem. Inf. Process. Lett., 12(3):115
 –
116, 1981.3

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->