Interpreted systems and Kripke models for multiagent systems from a categorical perspective

Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid

Iaith wreiddiol	Saesneg
Tudalennau (o-i)	235 - 266
Cyfnodolyn	Theoretical Computer Science
Cyfrol	323
Rhif cyhoeddi	1-3
Dynodwyr Gwrthrych Digidol (DOIs)	https://doi.org/10.1016/j.tcs.2004.04.005
Statws	Cyhoeddwyd - 1 Medi 2004

Mynediad at Ddogfen

@article{86e44c8edc5e41bfbe641d7b7f8423fc,

title = "Interpreted systems and Kripke models for multiagent systems from a categorical perspective",

keywords = "COMPUTER SCIENCE, THEORY \& METHODS",

author = "T. Porter",

year = "2004",

month = sep,

day = "1",

doi = "10.1016/j.tcs.2004.04.005",

language = "English",

volume = "323",

pages = "235 -- 266",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier BV",

number = "1-3",

}

TY - JOUR

T1 - Interpreted systems and Kripke models for multiagent systems from a categorical perspective

AU - Porter, T.

PY - 2004/9/1

Y1 - 2004/9/1

KW - COMPUTER SCIENCE

KW - THEORY & METHODS

U2 - 10.1016/j.tcs.2004.04.005

DO - 10.1016/j.tcs.2004.04.005

M3 - Article

SN - 0304-3975

VL - 323

SP - 235

EP - 266

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -