Teruo Higashino - Böcker

This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS'94) which was held in Tokyo, Japan on November 8-10, 1994. After having been organized in Vancouver (Canada, 1988), Berlin (Germany, 1989), McLean (USA, 1990), Leidschendam (The Netherlands, 1991), Montreal (Canada, 1992) and Pau (France, 1993), this is the 7th international workshop. The aim of the workshop is to be a meeting point between research and industry and between theory and practice of the testing of data communication systems. The workshop consists of the presentations of reviewed and invited papers, tool demonstrations and panel sessions. All submitted papers have been reviewed by the members of the Program Committee and the following additional reviewers including: L. Andrey, N. Arakawa, D. Becam, L. Boullier, R. Dssouli, B. Forghani, M. Higuchi, L. Heerink, G. Huecas, M. Hunter, S. lisaku, Y. Kakuda, K. Kazama, L-S. Koh , R. Langerak, D. Lee, G. Leon, G. Luo, P. Maigron, M. Mori, A. Nakamura, S. Nightingale, K. Okada, K. Okano, N. Okazaki, A. Petrenko, M. Phalippou, A. Rennoch, F. Sato, Y. Sugito, D. Tang, D. Toggweiler, F. Vallo and J. Zhu.The Program Committee has selected excellent papers among them. This proceedings includes two invited papers, fifteen regular papers, six short papers, two panel reports and one panel paper which were presented in the workshop.

Addressing formal description techniques (FDTs) applicable to distributed systems and communication protocols, this work aims to present the theory, application, tools and industrialization of FDTs. Some of the topics covered include: FDT-based system and protocol engineering and implementation; corporate, strategic and financial consequences of FDT; use, protocol testing and synthesis; and performance modelling and analysis. This book should be of interest to computer scientists; engineers; professional and academic researchers involved in distributed systems and communication protocols; professionals in the telecommunications industry; and students and lecturers in computer science, engineering and telecommunications.

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

This is the Proceedings of the 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS'94) which was held in Tokyo, Japan on November 8-10, 1994. After having been organized in Vancouver (Canada, 1988), Berlin (Germany, 1989), McLean (USA, 1990), Leidschendam (The Netherlands, 1991), Montreal (Canada, 1992) and Pau (France, 1993), this is the 7th international workshop. The aim of the workshop is to be a meeting point between research and industry and between theory and practice of the testing of data communication systems. The workshop consists of the presentations of reviewed and invited papers, tool demonstrations and panel sessions. All submitted papers have been reviewed by the members of the Program Committee and the following additional reviewers including: L. Andrey, N. Arakawa, D. Becam, L. Boullier, R. Dssouli, B. Forghani, M. Higuchi, L. Heerink, G. Huecas, M. Hunter, S. lisaku, Y. Kakuda, K. Kazama, L-S. Koh , R. Langerak, D. Lee, G. Leon, G. Luo, P. Maigron, M. Mori, A. Nakamura, S. Nightingale, K. Okada, K. Okano, N. Okazaki, A. Petrenko, M. Phalippou, A. Rennoch, F. Sato, Y. Sugito, D. Tang, D. Toggweiler, F. Vallo and J. Zhu.The Program Committee has selected excellent papers among them. This proceedings includes two invited papers, fifteen regular papers, six short papers, two panel reports and one panel paper which were presented in the workshop.

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68 submissions. The Symposium is organized in several tracks, reflecting topics to self-* properties. The tracks are self-stabilization, fault tolerance and dependability; formal methods and distributed systems; ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.

The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15-17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organizationsof OPODIS were held in Luzarches(1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002) and La Martinique (2003). OPODIS is an open forum for exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Followingthetraditionofthepreviousorganizations,the2004programwasc- posed of high-quality contributed and invited papers by experts of international caliberinthisscienti?carea. Thetopics ofinterestwerethetheory,speci?cation, design and implementation of distributed systems, which include: - peer-to-peer systems, cluster and grid-based computing - fault tolerance and self-stabilizing systems -real-timeandembeddedsystems - coordination and consistency protocols - distributed and multiprocessor algorithms - communication and synchronization protocols - self-stabilization, reliability and fault tolerance - performance analysis of distributed algorithms and systems - speci?cation and veri?cation of distributed systems - security issues in distributed computing and systems - distributed collaborative environments - location- and context-aware systems - overlay network architectures In response to the call for papers for OPODIS 2004, in total 102 papers in the above areas were submitted from 28 countries from over the world. Each paper was reviewed by three reviewers, and judged according to scienti?c and presentationquality,originality andrelevance to the conference topics. Then the ProgramCommitteeselected30papers. Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr.

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.