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