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

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

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(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!