Reasoning about concurrent interaction

DOI10.1093/LOGCOM/9.5.623MaRDI QIDQ4934809zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

concurrencyknowledge representationtheories of action

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Programming simultaneous actions using common knowledge
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Reasoning about effects of concurrent actions
• Algebraic Methodology and Software Technology
• Elaboration tolerance through object-orientation
• Modelling concurrent interactions

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)