Implementing Tile Systems: Some Examples From Process Calculi (1998)
by
R. Bruni
,
J. Meseguer
| Citations: | 5 - 4 self |
BibTeX
@MISC{Bruni98implementingtile,
author = {R. Bruni and J. Meseguer},
title = {Implementing Tile Systems: Some Examples From Process Calculi},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we show some example of their application to implement concurrent process calculi. In particular, in Section 2 we define executable implementations of CCS-like languages, preserving their original operational semantics. The two case studies considered here are the tile specification of finite CCS given in
