University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 163 items
Thumbnail for A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for The Rewriting Logic Semantics Project
The Rewriting Logic Semantics Project
Meseguer, José; Rosu, Grigore

Thumbnail for ActorNet: An Actor Platform for Wireless Sensor Networks
ActorNet: An Actor Platform for Wireless Sensor Networks
Kwon, YoungMin; Sundresh, Sameer; Mechitov, Kirill; Agha, Gul A.

Thumbnail for Back Matter
Back Matter
Submitter: Howard Ding

Thumbnail for Types for Progress in Actor Programs
Types for Progress in Actor Programs
Charalambides, Minas; Palmskog, Karl; Agha, Gul