Linda A. Ness

Ellen A. White, H. Theodore Stump, Linda A. Ness, Derek W. Schultz: Project Aurora: Dawn of a New Way. ICRE 1996: 165-172

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design 6(2): 217-232 (1995)

Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. CHDL 1993: 15-30

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi: The L.0 Language and Environment for Protocol Simulation and Prototyping. IEEE Trans. Computers 40(4): 562-571 (1991)

Linda A. Ness: Issues Arising in the Analysis of L.0. CAV 1990: 106-115

E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi: L.0: A Language for Modeling and Prototyping Communications Software. FORTE 1990: 223-238

David M. Cohen, Timothy M. Guinther, Linda A. Ness: Rapid Prototyping of Communications Protocol Using a New Parallel Language. ICSI 1990: 196-204

E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro: The IC* Model of Parallel Computation and Programming Environment. IEEE Trans. Software Eng. 14(3): 317-326 (1988)

Linda A. Ness: Reducing Linear Recursive Relations to Transitive Closure. XP7.52 Workshop on Database Theory 1986