Formal techniques for distributed objects, components, and systems :  34th ifip wg 6.1 international conference, forte 2014, held as part of the 9th international federated conference on distributed computing techniques, discotec 2014, berlin, germany, june 3-5, 2014. Proceedings / 
edited by Erika Ábrahám, Catuscia Palamidessi. 
 - xii, 301 páginas :  75 ilustraciones 
 - Lecture Notes in Computer Science,  8461  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/>Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis -- Bisimulation, Abstraction and Reduction. 
<br/><br/><label>ISBN: </label>9783662436134 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63