Analysis and Verification of Multiple-Agent Languages
Subtitle: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: February 25, 1997
Language: eng
Format: Paperback
Number of pages: 435
ISBN-13: 9783540625032
Subjects: High level programming languages; Congresses; Computer Programming Languages; Computers; Computers - Languages / Programming; Programming languages (Electronic computers); Computer Books: Languages; Programming languages (Electro; Programming - General; Artificial Intelligence - General; Programming Languages - General; Computers / Artificial Intelligence; Mehr-Agenten-Programmierung; Nebenläufiges Programmieren; Programmanalyse; Programmverifikation; Statecharts; concurrent programming; multiple-agent programming; program analysis; Computer Science
First sentence: The LOMAPS project studies the use of Logical and Operational Methods in the Analysis of Programs and Systems and is sponsored by ESPRIT Basic Research.1