Browsing by Author "Cleaveland, W. Rance, II"
Now showing 1 - 4 of 4
- Results Per Page
- Sort Options
- A branching-time theory for probabilistic model-checking(North Carolina State University. Dept. of Computer Science, 2000) Iyer, S. Purushothaman; Cleaveland, W. Rance, II; Narasimha, Muralidhar
- A process algebra with distributed priorities(North Carolina State University. Dept. of Computer Science, 1996) Cleaveland, W. Rance, II; Luettgen, Gerald; Natarajan, V.
- An algebraic theory of distributed real-time(North Carolina State University. Dept. of Computer Science, 1996) Cleaveland, W. Rance, II; Luettgen, Gerald
- Probabilistic temporal logics via the modal mu-calculus(North Carolina State University. Dept. of Computer Science, 1998) Narasimha, Muralidhar; Cleaveland, W. Rance, II; Iyer, S. Purushothaman
