Searching for "Mapping tile logic into rewriting logic." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Mapping Tile Logic into Rewriting Logic
- …? ? 1 2 1 2 T T T T Abstract. 1 Introduction Mapping Tile Logic into Rewriting Logic meseguer…
- Cited by 32 (23 self) – Add To MetaCart
-
Internal Strategies in a Rewriting Implementation of Tile Systems
- …, it is interesting to map tile logic back into rewriting logic in a conservative way, to obtain executable…
- Cited by 15 (11 self) – Add To MetaCart
-
Executable Tile Specifications for Process Calculi
- … be obtained by mapping tile logic back into rewriting logic, in a conservative way. However, a correct…
- Cited by 12 (9 self) – Add To MetaCart
-
Tile Logic for Synchronized Rewriting of Concurrent Systems
- … mapping of tile logic back into rewriting logic can be useful to get executable specifications of tile…
- Cited by 33 (17 self) – Add To MetaCart
-
Tile Transition Systems as Structured Coalgebras
- … been used to map tile logic into rewriting logic for implementation purposes [2]. Of course…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 5.
