by International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain)
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…