Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Engineering & Applied Sciences --- Computer Science --- Programming languages (Electronic computers) --- Computer programming --- Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer graphics --- Visualization --- Parallel processing (Electronic computers) --- Information Technology --- Computer Science (Hardware & Networks) --- Computer graphics - Congresses --- Visualization - Congresses --- Parallel processing (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

We welcome you to Coordination ’99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed “coordination languages”, “con?guration languages”, “arc- tectural description languages”, and “agent-oriented programming languages”. Theseformalismsprovideacleanseparationbetweenindividualsoftwarecom- nents and their interaction within the overall software organization. This se- ration makes complex applications more tractable, supports global analysis,and enhances the reuse of software components. The proceedings of the previous two conferences on this topic were published by Springer as Lecture Notes in Computer Science 1061 and 1282. This issue of LNCS containing the papers presented at Coordination ’99 continues the tradition of carefully selected and high quality papers representing the state of the artin coordinationtechnology.In responseto thecallfor papers,wereceived 67 submissions, from which 26 papers were accepted. These proceedings also contain abstracts for posters presented at the conference. This year’s program features invited talks by Rocco De Nicola and Danny B. Lange. Reading through the papers, we expect that you may be surprised by the variety of disciplines within computer science that have embraced the notion of coordination. In fact, we expect this trend to continue, and hope that you will contribute to the on-going exploration of its strengths, weaknesses, and applications.

Parallel processing (Electronic computers) --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Distributed processing --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computers. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Computer Communication Networks. --- Programming Techniques. --- Computation by Abstract Devices. --- Software Engineering. --- Computer software engineering --- Engineering --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Operating systems --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Parallel processing (Electronic computers) - Congresses --- Electronic data processing - Distributed processing - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference.

Computer Science --- Engineering & Applied Sciences --- Computer programming --- Programming languages (Electronic computers) --- Congresses --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Data structures (Computer science). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Data Structures. --- Logic design. --- Data structures (Computer scienc. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC’99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in LNCS 1386. The focus of the workshop is on modeling, control, synthesis, design, and ve- cation of hybrid systems. A hybrid system is a theoretical model for a computer controlled engineering system, with a dynamics that evolves both in a discrete state set and in a family of continuous state spaces. Research is motivated by, for example, control of electro-mechanical systems (robots), air tra c control, control of automated freeways, and chemical process control. The emerging - search area of hybrid systems overlaps both with computer science and with control theory. The interaction between researchers from these elds is expected to be fruitfull for the development of the area of hybrid systems.

Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Computer science. --- Computer system failures. --- Computer logic. --- Artificial intelligence. --- Complexity, Computational. --- Control engineering. --- Robotics. --- Mechatronics. --- Computer Science. --- Logics and Meanings of Programs. --- Artificial Intelligence (incl. Robotics). --- Control. --- System Performance and Evaluation. --- Complexity. --- Control, Robotics, Mechatronics. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Complexity, Computational --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Failures --- Logic design. --- Computer system performance. --- Engineering. --- Artificial Intelligence. --- Control and Systems Theory. --- Construction --- Industrial arts --- Technology --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computational complexity. --- Hybrid computers - Congresses