Tile Logic for Synchronized Rewriting of Concurrent Systems (1999)
by
Roberto Bruni
,
Prof Ugo Montanari
| Citations: | 35 - 18 self |
BibTeX
@TECHREPORT{Bruni99tilelogic,
author = {Roberto Bruni and Prof Ugo Montanari},
title = {Tile Logic for Synchronized Rewriting of Concurrent Systems},
institution = {},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Tile logic is a framework to reason about the dynamic evolution of concurrent systems in a modular way. It extends rcwritig logic (in the unconditional case) by adding rewriting synchronization and side effects. This dissertation concerns both theoretical and implementation issues of tile models of computation where the mathematical structures representing cofi'guratios (i.e., system states) and obscrvatios (i.e., observable actions) rely on the same common auxiliary structure (e.g., for tupling, projecting, etc.).
Citations
No citations identified.
