`Travelled to:`

1 × The Netherlands

`Collaborated with:`

S.P.Iyer R.Cleaveland

`Talks about:`

probabilist (2) calculus (1) channel (1) tempor (1) system (1) modal (1) lossi (1) logic (1)

## Person: Murali Narasimha

### DBLP: Narasimha:Murali

### Contributed to:

### Wrote 2 papers:

- FoSSaCS-1999-NarasimhaCI #calculus #logic #probability #μ-calculus
- Probabilistic Temporal Logics via the Modal μ-Calculus (MN, RC, SPI), pp. 288–305.
- TAPSOFT-1997-IyerN #probability
- Probabilistic Lossy Channel Systems (SPI, MN), pp. 667–681.