Action refinement.
From MaRDI portal
Recommendations
Cited in
(23)- Partitioned PLTL model-checking for refined transition systems
- Relating trace refinement and linearizability
- A logic for the stepwise development of reactive systems
- Vertical implementation
- On hierarchically developing reactive systems
- Hybrid dynamic logic institutions for event/data-based systems
- A calculus of concurrent graph-rewriting processes
- Product action.
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points
- Taking decisions late: end-based choice combined with action refinement
- Refinement of actions in a real-time process algebra with a true concurrency model
- Dynamic logic with binders and its application to the development of reactive systems
- scientific article; zbMATH DE number 5119885 (Why is no real title available?)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- Interleaving vs True Concurrency: Some Instructive Security Examples
- General refinement. II: Flexible refinement
- Contexts, refinement and determinism
- Model Checking for Action Abstraction
- scientific article; zbMATH DE number 5053644 (Why is no real title available?)
- Action Refinement in Process Algebra and Security Issues
- Towards the hierarchical verification of reactive systems
- Revisiting sequential composition in process calculi
This page was built for publication: Action refinement.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2760253)
