Pages that link to "Item:Q1606128"
From MaRDI portal
The following pages link to A causal semantics for CCS via rewriting logic (Q1606128):
Displaying 13 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Causal automata (Q1194329) (← links)
- Comparing locality and causality based equivalences (Q1342503) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A causal operational semantics of action refinement (Q1900316) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q4222997) (← links)
- A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
- Causal dependencies in multiplicative linear logic with MIX (Q4862762) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897781) (← links)