A causal operational semantics of action refinement
From MaRDI portal
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)