scientific article; zbMATH DE number 4180788
From MaRDI portal
Publication:3204033
Recommendations
Cited in
(27)- \(\tau\)-bisimulations and full abstraction for refinement of actions
- Adding action refinement to a finite process algebra
- Truly concurrent constraint programming
- Process algebra with action dependencies
- Well-behaved flow event structures for parallel composition and action refinement
- Comparing syntactic and semantic action refinement
- On hierarchically developing reactive systems
- Towards action-refinement in process algebras
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Concurrent bisimulations in Petri nets
- Event structure semantics for multiparty sessions
- Action refinement.
- Refinement of actions in a real-time process algebra with a true concurrency model
- scientific article; zbMATH DE number 108007 (Why is no real title available?)
- scientific article; zbMATH DE number 176759 (Why is no real title available?)
- scientific article; zbMATH DE number 1479625 (Why is no real title available?)
- scientific article; zbMATH DE number 1361504 (Why is no real title available?)
- scientific article; zbMATH DE number 1884420 (Why is no real title available?)
- scientific article; zbMATH DE number 2090704 (Why is no real title available?)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- Action Refinement in Process Algebra and Security Issues
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- Truly concurrent constraint programming
- Bisimulation and action refinement
- Refinement of actions in event structures and causal trees
- Stepwise development of process-algebraic specifications in decorated trace semantics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204033)
