On formal modeling of agent computations

Tadashi Araragi; Paul Attie; Idit Keidar; Kiyoshi Kogure; Victor Luchangco; Nancy Lynch; Ken Mano

doi:10.1007/3-540-45484-5_4

On formal modeling of agent computations

Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy Lynch, Ken Mano

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers
Editors	James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon
Publisher	Springer Verlag
Pages	48-62
Number of pages	15
ISBN (Print)	3540427163, 9783540427162
DOIs	https://doi.org/10.1007/3-540-45484-5_4
State	Published - 2001
Externally published	Yes
Event	1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000 - Greenbelt, United States Duration: Apr 5 2000 → Apr 7 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1871
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000
Country/Territory	United States
City	Greenbelt
Period	4/5/00 → 4/7/00

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45484-5_4

Cite this

Araragi, T., Attie, P., Keidar, I., Kogure, K., Luchangco, V., Lynch, N., & Mano, K. (2001). On formal modeling of agent computations. In J. L. Rash, W. Truszkowski, M. G. Hinchey, C. A. Rouff, & D. Gordon (Eds.), Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers (pp. 48-62). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1871). Springer Verlag. https://doi.org/10.1007/3-540-45484-5_4

On formal modeling of agent computations. / Araragi, Tadashi; Attie, Paul; Keidar, Idit et al.
Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. ed. / James L. Rash; Walt Truszkowski; Michael G. Hinchey; Christopher A. Rouff; Diana Gordon. Springer Verlag, 2001. p. 48-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1871).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Araragi, T, Attie, P, Keidar, I, Kogure, K, Luchangco, V, Lynch, N & Mano, K 2001, On formal modeling of agent computations. in JL Rash, W Truszkowski, MG Hinchey, CA Rouff & D Gordon (eds), Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1871, Springer Verlag, pp. 48-62, 1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000 , Greenbelt, United States, 4/5/00. https://doi.org/10.1007/3-540-45484-5_4

Araragi T, Attie P, Keidar I, Kogure K, Luchangco V, Lynch N et al. On formal modeling of agent computations. In Rash JL, Truszkowski W, Hinchey MG, Rouff CA, Gordon D, editors, Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. Springer Verlag. 2001. p. 48-62. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45484-5_4

Araragi, Tadashi ; Attie, Paul ; Keidar, Idit et al. / On formal modeling of agent computations. Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. editor / James L. Rash ; Walt Truszkowski ; Michael G. Hinchey ; Christopher A. Rouff ; Diana Gordon. Springer Verlag, 2001. pp. 48-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{692fb2d5f8744ba687a22986120006e3,

title = "On formal modeling of agent computations",

author = "Tadashi Araragi and Paul Attie and Idit Keidar and Kiyoshi Kogure and Victor Luchangco and Nancy Lynch and Ken Mano",

year = "2001",

doi = "10.1007/3-540-45484-5_4",

language = "English (US)",

isbn = "3540427163",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "48--62",

editor = "Rash, {James L.} and Walt Truszkowski and Hinchey, {Michael G.} and Rouff, {Christopher A.} and Diana Gordon",

booktitle = "Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers",

note = "1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000 ; Conference date: 05-04-2000 Through 07-04-2000",

}

TY - GEN

T1 - On formal modeling of agent computations

AU - Araragi, Tadashi

AU - Attie, Paul

AU - Keidar, Idit

AU - Kogure, Kiyoshi

AU - Luchangco, Victor

AU - Lynch, Nancy

AU - Mano, Ken

PY - 2001

Y1 - 2001

UR - http://www.scopus.com/inward/record.url?scp=79960150435&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79960150435&partnerID=8YFLogxK

U2 - 10.1007/3-540-45484-5_4

DO - 10.1007/3-540-45484-5_4

M3 - Conference contribution

AN - SCOPUS:79960150435

SN - 3540427163

SN - 9783540427162

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 48

EP - 62

BT - Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers

A2 - Rash, James L.

A2 - Truszkowski, Walt

A2 - Hinchey, Michael G.

A2 - Rouff, Christopher A.

A2 - Gordon, Diana

PB - Springer Verlag

T2 - 1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000

Y2 - 5 April 2000 through 7 April 2000

ER -

On formal modeling of agent computations

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this