Formal specification of interaction in agent societies

V. Dignum, J.J.C. Meyer, F. Dignum, H. Weigand

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    Original languageEnglish
    Title of host publicationFormal Approaches to Agent-Based Systems (FAAB 2002)
    EditorsM.G. Hinchey, J.L. Rash, W.F. Truszowski, C. Rouff, D. Gordon-Spears
    Place of PublicationBerlin
    PublisherSpringer Verlag
    Pages37-52
    ISBN (Print)3540406654
    Publication statusPublished - 2003

    Publication series

    NameLNAI
    Number2699

    Cite this

    Dignum, V., Meyer, J. J. C., Dignum, F., & Weigand, H. (2003). Formal specification of interaction in agent societies. In M. G. Hinchey, J. L. Rash, W. F. Truszowski, C. Rouff, & D. Gordon-Spears (Eds.), Formal Approaches to Agent-Based Systems (FAAB 2002) (pp. 37-52). (LNAI; No. 2699). Berlin: Springer Verlag.
    Dignum, V. ; Meyer, J.J.C. ; Dignum, F. ; Weigand, H. / Formal specification of interaction in agent societies. Formal Approaches to Agent-Based Systems (FAAB 2002). editor / M.G. Hinchey ; J.L. Rash ; W.F. Truszowski ; C. Rouff ; D. Gordon-Spears. Berlin : Springer Verlag, 2003. pp. 37-52 (LNAI; 2699).
    @inbook{49d8000974d249428a714f27701fa692,
    title = "Formal specification of interaction in agent societies",
    author = "V. Dignum and J.J.C. Meyer and F. Dignum and H. Weigand",
    year = "2003",
    language = "English",
    isbn = "3540406654",
    series = "LNAI",
    publisher = "Springer Verlag",
    number = "2699",
    pages = "37--52",
    editor = "M.G. Hinchey and J.L. Rash and W.F. Truszowski and C. Rouff and D. Gordon-Spears",
    booktitle = "Formal Approaches to Agent-Based Systems (FAAB 2002)",
    address = "Germany",

    }

    Dignum, V, Meyer, JJC, Dignum, F & Weigand, H 2003, Formal specification of interaction in agent societies. in MG Hinchey, JL Rash, WF Truszowski, C Rouff & D Gordon-Spears (eds), Formal Approaches to Agent-Based Systems (FAAB 2002). LNAI, no. 2699, Springer Verlag, Berlin, pp. 37-52.

    Formal specification of interaction in agent societies. / Dignum, V.; Meyer, J.J.C.; Dignum, F.; Weigand, H.

    Formal Approaches to Agent-Based Systems (FAAB 2002). ed. / M.G. Hinchey; J.L. Rash; W.F. Truszowski; C. Rouff; D. Gordon-Spears. Berlin : Springer Verlag, 2003. p. 37-52 (LNAI; No. 2699).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    TY - CHAP

    T1 - Formal specification of interaction in agent societies

    AU - Dignum, V.

    AU - Meyer, J.J.C.

    AU - Dignum, F.

    AU - Weigand, H.

    PY - 2003

    Y1 - 2003

    M3 - Chapter

    SN - 3540406654

    T3 - LNAI

    SP - 37

    EP - 52

    BT - Formal Approaches to Agent-Based Systems (FAAB 2002)

    A2 - Hinchey, M.G.

    A2 - Rash, J.L.

    A2 - Truszowski, W.F.

    A2 - Rouff, C.

    A2 - Gordon-Spears, D.

    PB - Springer Verlag

    CY - Berlin

    ER -

    Dignum V, Meyer JJC, Dignum F, Weigand H. Formal specification of interaction in agent societies. In Hinchey MG, Rash JL, Truszowski WF, Rouff C, Gordon-Spears D, editors, Formal Approaches to Agent-Based Systems (FAAB 2002). Berlin: Springer Verlag. 2003. p. 37-52. (LNAI; 2699).