Title of article
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Author/Authors
Lorenzo Bettini، نويسنده , , Rocco De Nicola and Michele Loreti ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
44
From page
245
To page
288
Keywords
modal logics , network aware programming , programminglanguages , Verification , Concurrency , mobile agents
Journal title
Automated Software Engineering
Serial Year
2004
Journal title
Automated Software Engineering
Record number
307131
Link To Document