scientific article; zbMATH DE number 3902016
From MaRDI portal
Publication:3680258
Recommendations
- scientific article; zbMATH DE number 4011913
- Model of error propagation in systems of communicating processes
- scientific article; zbMATH DE number 3846851
- A singleton failures semantics for communicating sequential processes
- Readies and Failures in the Algebra of Communicating Processes
- Trace, failure and testing equivalences for communicating processes
- scientific article; zbMATH DE number 988156
- Deterministic Models of Communication Faults
- Enforcing availability in failure-aware communicating systems
Cited in
(51)- Process algebra and model checking
- Modelling and analysing neural networks using a hybrid process algebra
- The laws of Occam programming
- Turing machines, transition systems, and interaction
- A functorial semantics for observed concurrency
- scientific article; zbMATH DE number 7327941 (Why is no real title available?)
- Specifying termination in CSP
- Receptive process theory
- Modular specification of process algebras
- Divergence and unique solution of equations
- A brief history of Timed CSP
- A hierarchy of domains for real-time distributed computing
- Turing machines, transition systems, and interaction
- Refinement-preserving plug-in components
- Retracing CSP
- Quiescence, fairness, testing, and the notion of implementation
- Refinement and state machine abstraction
- The timed failures -- Stability model for CSP
- A two-phase method for controlling Erlang-failure processes with high reliability
- Step failures semantics and a complete proof system
- Revivals, stuckness and the hierarchy of CSP models
- The pursuit of deadlock freedom
- On the operational semantics of nondeterminism and divergence
- Compositionality in state space verification methods
- A timed model for communicating sequential processes
- Process simulation and refinement
- Relational concurrent refinement. II: Internal operations and outputs
- Correct and efficient antichain algorithms for refinement checking
- The connection between an event structure semantics and an operational semantics for TCSP
- Infinitary parallelism without unbounded nondeterminism in CSP
- Topology, domain theory and theoretical computer science
- A model of reconfiguration in communicating sequential processes
- Trace, failure and testing equivalences for communicating processes
- Deciding true concurrency equivalences on finite safe nets (preliminary report)
- Fair testing
- Divergence and unique solution of equations
- Deadlock analysis in networks of communicating processes
- A logical process calculus
- The weakest deadlock-preserving congruence
- Specification-oriented semantics for communicating processes
- Minimizing the number of transitions with respect to observation equivalence
- Two implementation relations and the correctness of communicating replicated processes
- scientific article; zbMATH DE number 4011913 (Why is no real title available?)
- A resource analysis of the \(\pi\)-calculus
- Delay-insensitivity and ternary simulation
- Compositional failure-based semantic models for basic LOTOS
- On the limits of refinement-testing for model-checking CSP
- From algebra to operational semantics
- Confluence thanks to extensional determinism
- Deciding true concurrency equivalences on safe, finite nets
- Fixed points without completeness
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 Q3680258)
