Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.)

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The vo...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	LOMAPS Workshop Stockholm, Sweden
Other Authors:	Dam, Mads
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©1997.
Series:	Lecture notes in computer science ; 1192.
Subjects:	Programming languages (Electronic computers) > Congresses. Programming languages (Electronic computers) Conference papers and proceedings.