Reasoning about concurrent interaction

DOI10.1093/LOGCOM/9.5.623zbMATH Open1159.03313OpenAlexW2130325317MaRDI QIDQ4934809FDOQ4934809

Authors: 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

Recommendations

• Reasoning about effects of concurrent actions
• Towards the assessment of logics for concurrent actions
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• scientific article; zbMATH DE number 928018
• Ramification and causality in a modal action logic

zbMATH Keywords

concurrencyknowledge representationtheories of action

Mathematics Subject Classification ID

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

Cited In (4)

• Elaboration tolerance through object-orientation
• Modelling concurrent interactions
• Programming simultaneous actions using common knowledge
• Algebraic Methodology and Software Technology

This page was built for publication: Reasoning about concurrent interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934809)