Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th : 1997 : Palma de Mallorca, Spain)
Imprint:	Berlin ; New York : Springer, ©1997.
Description:	1 online resource (xi, 429 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science ; 1231 Lecture notes in computer science ; 1231.
Subject:	Real-time data processing -- Congresses. Parallel processing (Electronic computers) -- Congresses. Electronic data processing -- Distributed processing -- Congresses. Electronic data processing -- Distributed processing. Parallel processing (Electronic computers) Real-time data processing. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11072431

Hidden Bibliographic Details
Varying Form of Title:	ARTS '97
Other authors / contributors:	Bertran, Miquel. Rus, Teodor.
ISBN:	9783540690580 3540690581 3540630104 9783540630104
Notes:	Includes bibliographical references and index. Print version record.
Summary:	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.
Other form:	Print version:International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th : 1997 : Palma de Mallorca, Spain). Transformation-based reactive systems development. Berlin ; New York : Springer, ©1997 3540630104

Similar Items