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
Keywords :
modal logics , network aware programming , programminglanguages , Verification , Concurrency , mobile agents
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
