Pages that link to "Item:Q2581541"
From MaRDI portal
The following pages link to Safe ambients: Abstract machine and distributed implementation (Q2581541):
Displaying 9 items.
- Ambient abstract state machines with applications (Q439957) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Pict correctness revisited (Q1004056) (← links)
- (Q2766538) (← links)
- Safety-liveness exclusion in distributed computing (Q2796260) (← links)
- Programming Languages and Systems (Q5308696) (← links)
- Pict Correctness Revisited (Q5428913) (← links)
- Theory of Cryptography (Q5711670) (← links)