University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 8
Dept. of Computer Science 8
Graduate Dissertations and Theses at Illinois 2

Collection

Research and Tech Reports - Computer Science 6
Dissertations and Theses - Computer Science 2
Graduate Dissertations and Theses at Illinois 2

Author(s)

Meseguer, José 6
Boronat, Artur 4
Al-Nayeem, Abdullah 1
Knapp, Alexander 1
Olveczky, Peter C. 1
Rocha, Camilo 1
Sasse, Ralf 1
Sha, Lui 1
Sun, Mu 1
Wirsing, Martin 1

Keyword(s)

rewriting logic 2
Complexity reduction 1
Computer Science 1
Distributed synchronoization 1
Networked real-time systems 1
browser security 1
computer science 1
constrained rewriting 1
cryptographic protocol analysis 1
deadlock freedom 1

Type of Resource

text 6

↑ ↓

Showing 1–8 of 8 items

Thumbnail for Algebraic Semantics of OCL-constrained Metamodel Specifications

Algebraic Semantics of OCL-constrained Metamodel Specifications

Boronat, Artur; Meseguer, José

Thumbnail for Algebraic Semantics of OCL-constrained Metamodel Specifications

Algebraic Semantics of OCL-constrained Metamodel Specifications

Boronat, Artur; Meseguer, José

Thumbnail for Algebraic Semantics of EMOF/OCL Metamodels

Algebraic Semantics of EMOF/OCL Metamodels

Boronat, Artur; Meseguer, José

Thumbnail for What is a Multi-Modeling Language?

What is a Multi-Modeling Language?

Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin

Thumbnail for PALS: Physically Asynchronous Logically Synchronous Systems

PALS: Physically Asynchronous Logically Synchronous Systems

Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.

Thumbnail for 20 Years of Rewriting Logic

20 Years of Rewriting Logic

Meseguer, José

Thumbnail for Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 4?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)