A causal operational semantics of action refinement

DOI10.1006/INCO.1995.1142MaRDI QIDQ1900316zbMATH OpenOpenAlexFDO

Authors Pierpaolo Degano, Roberto Gorrieri

Publication date 30 October 1995

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1995.1142

zbMATH Keywords

denotational semanticsconcurrent language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A preferential semantics for causal reasoning about action
• scientific article; zbMATH DE number 1931675
• Characterizing causal action theories and their implementations in answer set programming
• Specifying causality in action theories: A default logic approach
• Modelling causality via action dependencies in branching time semantics
• A causal semantics for CCS via rewriting logic
• Refinement of actions in event structures and causal trees
• scientific article; zbMATH DE number 1500583
• scientific article; zbMATH DE number 44349

Cited in

(7)

• Causality and replication in concurrent processes
• Vertical implementation
• Characterizing causal action theories and their implementations in answer set programming
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• Modelling causality via action dependencies in branching time semantics
• Action Refinement in Process Algebra and Security Issues
• scientific article; zbMATH DE number 4185040 (Why is no real title available?)

This page was built for publication: A causal operational semantics of action refinement

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