Pages that link to "Item:Q5902418"
From MaRDI portal
The following pages link to Perspectives of System Informatics (Q5902418):
Displaying 6 items.
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Programming Languages and Systems (Q5464035) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)