Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis
- PDF / 7,242,814 Bytes
- 200 Pages / 453.543 x 683.15 pts Page_size
- 50 Downloads / 205 Views
Ornela Dardha
Type Systems for Distributed Programs: Components and Sessions
Atlantis Studies in Computing Volume 7
Series editors Jan A. Bergstra, Amsterdam, The Netherlands Michael W. Mislove, New Orleans, USA
Aims and Scope of the Series The series aims at publishing books in the areas of computer science, computer and network technology, IT management, information technology and informatics from the technological, managerial, theoretical/fundamental, social or historical perspective. We welcome books in the following categories: Technical monographs: these will be reviewed as to timeliness, usefulness, relevance, completeness and clarity of presentation. Textbooks. Books of a more speculative nature: these will be reviewed as to relevance and clarity of presentation. For more information on this series and our other book series, please visit our website at: www.atlantis-press.com/publications/books Atlantis Press 29, avenue Laumière 75019 Paris, France
More information about this series at http://www.springer.com/series/10530
Ornela Dardha
Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha School of Computing Science University of Glasgow Glasgow UK
ISSN 2212-8557 Atlantis Studies in Computing ISBN 978-94-6239-203-8 DOI 10.2991/978-94-6239-204-5
ISSN 2212-8565
(electronic)
ISBN 978-94-6239-204-5
(eBook)
Library of Congress Control Number: 2016942511 © Atlantis Press and the author(s) 2016 This book, or any parts thereof, may not be reproduced for commercial purposes in any form or by any means, electronic or mechanical, including photocopying, recording or any information storage and retrieval system known or to be invented, without prior permission from the Publisher. Printed on acid-free paper
Foreword
The Italian Chapter of the EATCS (European Association for Theoretical Computer Science) was founded in 1988, and aims at facilitating the exchange of ideas and results among Italian theoretical computer scientists, and at stimulating cooperation between the theoretical and the applied communities in Italy. One of the major activities of this Chapter is to promote research in theoretical computer science, stimulating scientific excellence by supporting and encouraging the very best and creative young Italian theoretical computer scientists. This is done also by sponsoring a prize for the best Ph.D. thesis. An interdisciplinary committee selects the best Ph.D. thesis, among those defended in the previous year and dealing with one of the many themes in theoretical computer science. In 2012 we started a cooperation with Atlantis Press so that the selected Ph.D. theses will be published as volumes in the Atlantis Studies in Computing. The present volume contains the thesis selected for publication in 2015: Type Systems for Distributed Programs: Components and Sessions by Ornela Dardha (supervisor: Prof. Davide Sangiorgi, University of Bologna, Italy). The scientific committee that selected this thesis was composed of Profs. Margherita Napoli (University of Salerno), Paolo
Data Loading...
