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

[   About   |  Browse   |   Statistics   ]

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

Search the bibliography

Information on the Bibliography

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.

Browsing the bibliography

• Original source:

  http://cui.unige.ch... (Format: bibtex)

Bibliographic Statistics

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(157), 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:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.