Pages that link to "Item:Q2760244"
From MaRDI portal
The following pages link to A symbolic approach to value-passing processes (Q2760244):
Displaying 15 items.
- Value-passing CCS with noisy channels (Q428864) (← links)
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Symbolic bisimulations (Q674194) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- A proof system for communicating processes with value-passing (Q1179808) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- On the expressiveness of choice quantification (Q1874242) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- Automatic Generation of Adaptation Contracts (Q5179209) (← links)
- Symbolic semantic rules for producing compact STGLAs from value passing process descriptions (Q5277704) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)