Pages that link to "Item:Q5705890"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705890):
Displaying 5 items.
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)
- (Q3975160) (← links)
- Theory of Cryptography (Q5901773) (← links)