A theory of communicating processes with value passing
From MaRDI portal
Recommendations
Cited in
(30)- A semantic theory for value-passing processes based on the late approach
- Probabilistic bisimulations for quantum processes
- Branching bisimulation semantics for quantum processes
- Symbolic bisimulation for quantum processes
- Theory of interaction
- scientific article; zbMATH DE number 7204939 (Why is no real title available?)
- Revisiting sequential composition in process calculi
- Additive models of probabilistic processes
- scientific article; zbMATH DE number 177815 (Why is no real title available?)
- scientific article; zbMATH DE number 781171 (Why is no real title available?)
- Non-deterministic structures of computation
- Divergence in testing and readiness semantics
- A thesis for interaction
- Late and early semantics coincide for testing
- Communicating processes with value-passing and assignments
- A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement
- Relational concurrent refinement. II: Internal operations and outputs
- Semantics of query-driven communication of exact values
- Proof systems for message-passing process algebras
- Consistently-detecting monitors
- A fully abstract denotational semantics for the \(\pi\)-calculus
- A conservative look at operational semantics with variable binding
- A symbolic approach to value-passing processes
- The Value-Passing Calculus
- Bisimulations for probabilistic and quantum processes (invited paper)
- A behavioural theory of first-order CML
- Linda-based applicative and imperative process algebras
- A presheaf semantics of value-passing processes
- A ground-complete axiomatization of stateless bisimilarity over Linda
- Value-passing CCS with noisy channels
This page was built for publication: A theory of communicating processes with value passing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317426)