Reasoning about concurrent interaction

DOI10.1093/logcom/9.5.623zbMath1159.03313OpenAlexW2130325317MaRDI QIDQ4934809

Joakim Gustafsson, Lars Karlsson

Publication date: 30 January 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/9.5.623

zbMATH Keywords

knowledge representationconcurrencytheories of action

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Elaboration tolerance through object-orientation

This page was built for publication: Reasoning about concurrent interaction