The Collection of
Computer Science Bibliographies

Bibliography on Formal Methods for Distributed Systems and Multi-Agent Systems

Number of references:	363	Last update:	April 25, 2003
Number of online publications:	91	Supported:	yes
Most recent reference:	2001

Author:: Giovanna Di Marzo Serugendo <Giovanna . Dimarzo @ cui . unige . ch> (email mangled to prevent spamming)
University of Geneva
centre Universitaire d'Informatique
24, rue Général-Dufour
CH-1211 Genve 4
Switzerland
Abstract:: The bibliography contains references to formal methods applied to both object-oriented systems, multi-agent systems, and mobile agents.. It focuses on high-level Petri nets and process calculi.
Keywords:: Formal methods, Petri nets, Multi-Agent Systems, Mobile Agents
Author Comments:: Some references are common to that of the EPFL Sofware Engineering Lab Bibliography.

Types:: incollection(77), inproceedings(77), article(74), techreport(65), book(45), phdthesis(20), proceedings(3), inbook(1), misc(1)
Fields:: title(363), year(363), author(353), pages(186), publisher(163), booktitle(158), address(156), volume(149), month(124), number(115), series(101), editor(100), url(76), journal(74), institution(66), abstract(26), school(20), note(18), abstract-url(14), organization(14), type(12), edition(6), chapter(5), editors(2), comment(1), day(1), descriptor(1), howpublished(1), key(1), manual-url(1), opteditor(1), page(1), psmanual-url(1)
Distribution of publication dates: