University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7741–7770 of 15,035 items
Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

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é