University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 42 items
Thumbnail for Symbolic reachability analysis for rewrite theories
Symbolic reachability analysis for rewrite theories
Rocha, Camilo

Thumbnail for Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories
Constructors, Sufficient Completeness and Deadlock Freedom of Generalized Rewrite Theories
Rocha, Camilo; Meseguer, José

Thumbnail for Proving Safety Properties of Rewrite Theories
Proving Safety Properties of Rewrite Theories
Rocha, Camilo; Meseguer, José

Thumbnail for Order-sorted Equality Enrichments Modulo Axioms
Order-sorted Equality Enrichments Modulo Axioms
Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo

Thumbnail for Proving Ground Confluence of Equational Specifications Modulo Axioms
Proving Ground Confluence of Equational Specifications Modulo Axioms
Duran, Francisco; Meseguer, José; Rocha, Camilo

Thumbnail for Theorem Proving Modula Based on Boolean Equational Procedures
Theorem Proving Modula Based on Boolean Equational Procedures
Rocha, Camilo; Meseguer, José

Thumbnail for A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
A Rewriting Decision Procedure for Dijkstra-Scholten's Syllogistic Logic with Complements
Rocha, Camilo; Meseguer, José

Thumbnail for Five Isomorphic Boolean Theories and Four Equational Decision Procedures
Five Isomorphic Boolean Theories and Four Equational Decision Procedures
Rocha, Camilo; Meseguer, José

Thumbnail for Rewriting Modulo SMT and Open System Analysis
Rewriting Modulo SMT and Open System Analysis
Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

Thumbnail for Contemporary Portuguese Theater
Contemporary Portuguese Theater
Wilcox, Frank Blair

Thumbnail for On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
Duran, Francisco; Meseguer, José

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Liu, Si

Thumbnail for On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
On the Church-Rosser and Coherence Properties of Conditional Order-Sorted Rewrite Theories
Duran, Francisco; Meseguer, José

Thumbnail for Patterns of Anthroponyms in the Main Phases of Mexican Spanish
Patterns of Anthroponyms in the Main Phases of Mexican Spanish
Thompson, Walter Edward

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions
Liu, Si

Thumbnail for
"""&Iquest;que Va a Pasar Con Los Indios Cuando Todos Seamos Indios?"" Ethnic Rights and Reindianization in Southwestern Colombian Amazonia"
Chaves Chamorro, Margarita A.

Thumbnail for Machado De Assis: Preto De Alma Branca? Questoes Etnico-Raciais No Conto Machadiano
Machado De Assis: Preto De Alma Branca? Questoes Etnico-Raciais No Conto Machadiano
Vital, Selma

Thumbnail for Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for The Temporal Logic of Rewriting
The Temporal Logic of Rewriting
Meseguer, José

Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for The Search for Identity: A Comparative Study in Contemporary Latin American Drama
The Search for Identity: A Comparative Study in Contemporary Latin American Drama
Woodyard, George William

Thumbnail for Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Meseguer, José; Olveczky, Peter C.

Thumbnail for Dark matter phenomenology and model-building
Dark matter phenomenology and model-building
Gaidau, Cristian

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems
Approximation Based Safety and Stability Verification of Hybrid Systems
Prabhakar, Pavithra

Thumbnail for CHCHD2 and the tumor microenvironment in glioblastoma
CHCHD2 and the tumor microenvironment in glioblastoma
Lumibao, Jan Casey

Thumbnail for Coupled dynamics of above- and below-ground interactions in the critical zone
Coupled dynamics of above- and below-ground interactions in the critical zone
Quijano, Juan

Thumbnail for A meta-language for functional verification
A meta-language for functional verification
Katelman, Michael

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Al-Turki, Musab A.