Pages that link to "Item:Q5899092"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899092):
Displaying 15 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Self-assembling Trees (Q2866313) (← links)
- General Reversibility (Q2866345) (← links)
- Reversibility and Models for Concurrency (Q2871832) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- (Q5089270) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
