The Collection of
Computer Science Bibliographies

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

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

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
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.
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

Bibliographic Statistics

incollection(77), inproceedings(77), article(74), techreport(65), book(45), phdthesis(20), proceedings(3), inbook(1), misc(1)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!