scientific article; zbMATH DE number 4180788
From MaRDI portal
Publication:3204033
Recommendations
Cited in
(25)- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- Towards action-refinement in process algebras
- 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 2090704 (Why is no real title available?)
- Event structure semantics for multiparty sessions
- Action Refinement in Process Algebra and Security Issues
- \(\tau\)-bisimulations and full abstraction for refinement of actions
- Stepwise development of process-algebraic specifications in decorated trace semantics
- Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
- Process algebra with action dependencies
- Truly concurrent constraint programming
- scientific article; zbMATH DE number 108007 (Why is no real title available?)
- Refinement of actions in a real-time process algebra with a true concurrency model
- Concurrent bisimulations in Petri nets
- Refinement of actions in event structures and causal trees
- Well-behaved flow event structures for parallel composition and action refinement
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- On hierarchically developing reactive systems
- Bisimulation and action refinement
- Action refinement.
- scientific article; zbMATH DE number 1884420 (Why is no real title available?)
- Truly concurrent constraint programming
- Adding action refinement to a finite process algebra
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)
