✦ LIBER ✦

Preface: Volume 66, Issue 4

✍ Scribed by Antonio Brogi; Ernesto Pimentel

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 34 KB
Volume: 66
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80454-2

No coin nor oath required. For personal study only.

✦ Synopsis

The workshop on "Formal methods and component interaction" was held in Málaga, Spain, on July 12, 2002, as a satellite event of the 29th International Colloquium on Automata, Languages, and Programming (ICALP'2002).

The main objective of the workshop was to provide a forum to discuss the application of formal methods to different aspects in the interaction of software components. Seven papers were selected to be presented at the workshop out of thirteen submissions. Each paper was reviewed by two anonymous referees, while acceptance was decided by an international program committee. The seven contributions collected in these proceedings address different aspects of component interaction such as compatibility, adaptation, semantics, and implementation issues.

We would like to thank the other members of the program committee Farhad Arbab (CWI, The Netherlands), Remi Bastide (

📜 SIMILAR VOLUMES

Preface: Volume 66, Issue 1

✍ Vasco Brattka; Matthias Schröder; Klaus Weihrauch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 46 KB

This part of the volume contains the papers accepted for presentation at the fifth workshop on

Preface: Volume 66, Issue 2

✍ Rance Cleaveland; Hubert Garavel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 53 KB

Preface: Volume 66, Issue 3

✍ Vladimiro Sassone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 49 KB

Preface: Volume 66, Issue 5

✍ Patrik Eklund; Manuel Ojeda-Aciego 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 44 KB

This part of the volume contains the papers accepted for presentation at the workshop on Unification in Non-Classical Logics (UNCL), co-located with ICALP 2002, which took place on July 12, 2002 in M\'alaga, Spain. The workshop was concerned with one of the most promising areas of research on non-c

Preface: Volume 66, Issue 6

✍ Dorothea Wagner 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 46 KB

Masthead, Volume 66, Issue 4

📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 57 KB