TY - BOOK ID - 2635987 TI - Transformation-based reactive systems development AU - Bertran, Miquel AU - Rus, Teodor AU - International AMAST workshop on real-time systems and concurrent and distributed software, ARTS'97. 4th, (May 21-23, 1997 : Palma, Mallorca, Spain) PY - 1997 VL - 1231 SN - 3540630104 3540690581 9783540630104 PB - Berlin: Springer, DB - UniCat KW - Real-time data processing KW - Parallel processing (Electronic computers) KW - Electronic data processing KW - Temps réel KW - Parallélisme (Informatique) KW - Traitement réparti KW - Congresses KW - Distributed processing KW - Congrès KW - Congresses. KW - Computer Science KW - Engineering & Applied Sciences KW - Temps réel KW - Parallélisme (Informatique) KW - Traitement réparti KW - Congrès KW - Computer science. KW - Computer communication systems. KW - Special purpose computers. KW - Software engineering. KW - Computer programming. KW - Computers. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Theory of Computation. KW - Programming Techniques. KW - Software Engineering. KW - Computer Communication Networks. KW - Special Purpose and Application-Based Systems. KW - Information theory. KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Communication theory KW - Communication KW - Cybernetics KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Machine theory KW - Calculators KW - Cyberspace KW - Special purpose computers KW - Programming KW - Real-time data processing - Congresses. KW - Parallel processing (Electronic computers) - Congresses. KW - Electronic data processing - Distributed processing - Congresses. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2635987 AB - This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed. ER -