Formal Techniques for Networked and Distributed Systems - FORTE 2007

丛 书 名：Lecture Notes in Computer Science

版本说明：2007

作     者：John Derrick Jüri Vain 

I S B N：(纸本) 9783540731955 

出 版 社：Springer Berlin Heidelberg 

出 版 年：2007年

页      数：xi, 373 p. :页

主 题 词：Formal methods (Computer science) Congresses. Electronic data processing Distributed processing Congresses. Computer network protocols Congresses. 

学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

摘      要：This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components.