The following pages link to Jens Chr. Godskesen (Q1671243):
Displaying 11 items.
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- Connectivity testing (Q1878926) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- (Q2848140) (← links)
- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks (Q2915180) (← links)
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (Q2938063) (← links)
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q3090825) (← links)
- Probabilistic Mobility Models for Mobile and Wireless Networks (Q3163875) (← links)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
- A Calculus for Mobile Ad-hoc Networks with Static Location Binding (Q5170671) (← links)
- Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks (Q5179206) (← links)
