Interpreted systems and Kripke models for multiagent systems from a categorical perspective
Research output: Contribution to journal › Article › peer-review
Standard Standard
Interpreted systems and Kripke models for multiagent systems from a categorical perspective. / Porter, T.
In: Theoretical Computer Science, Vol. 323, No. 1-3, 01.09.2004, p. 235 - 266.
In: Theoretical Computer Science, Vol. 323, No. 1-3, 01.09.2004, p. 235 - 266.
Research output: Contribution to journal › Article › peer-review
HarvardHarvard
Porter, T 2004, 'Interpreted systems and Kripke models for multiagent systems from a categorical perspective', Theoretical Computer Science, vol. 323, no. 1-3, pp. 235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
APA
Porter, T. (2004). Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theoretical Computer Science, 323(1-3), 235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
CBE
Porter T. 2004. Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theoretical Computer Science. 323(1-3):235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
MLA
Porter, T. "Interpreted systems and Kripke models for multiagent systems from a categorical perspective". Theoretical Computer Science. 2004, 323(1-3). 235 - 266. https://doi.org/10.1016/j.tcs.2004.04.005
VancouverVancouver
Porter T. Interpreted systems and Kripke models for multiagent systems from a categorical perspective. Theoretical Computer Science. 2004 Sept 1;323(1-3):235 - 266. doi: 10.1016/j.tcs.2004.04.005
Author
RIS
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
VL - 323
SP - 235
EP - 266
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
IS - 1-3
ER -