BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Narasimha:Murali

Contributed to:

FoSSaCS 19991999
TAPSOFT CAAP/FASE 19971997

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.