The following pages link to Jens Chr. Godskesen (Q1671243):
Displaying 18 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)
- Synthesizing distinguishing formulae for real time systems -extended abstract (Q3569042) (← links)
- A Calculus for Mobile Ad Hoc Networks (Q3634642) (← links)
- (Q4484493) (← 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)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata (Q5299841) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464469) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897765) (← links)
