University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 4,143 items
Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for Commencement program. 1946-1951
Commencement program. 1946-1951
University of Illinois at Urbana-Champaign

Thumbnail for A pragmatic account of control
A pragmatic account of control
Williams, Timothy Kevin

Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Alumni news letter / no. 33-43
Alumni news letter / no. 33-43
University of Illinois at Urbana-Champaign. Library School