ENGLISH

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings ... Programming and Software Engineering)

By John Derrick , Jüri Vain

Book information

Year
2007
ISBN
3540731954, 9783540731955, 9783540731962
Open Library ID
OL16148978M
Language
english
Format
PDF
Filesize
3 MB (3372346 bytes)
Edition
1
Pages
375\385
Topic
Technique
Time added
2011-06-04 13:46:07

Description

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.

Similar books