From Semantics to Spatial Distribution
| Title | From Semantics to Spatial Distribution |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Sierra Abbate, LR, D'Argenio, PR, Echagüe, JV |
| Editor | Gonnet, GH, Panario, D, Viola, A |
| Conference Name | LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings |
| Publisher | Springer |
| Abstract | This work studies the notion of locality in the context of process specification. It relates naturally with other works where information about the localities of a program is obtained from its description written down in a programming language. This paper presents a new approach for this problem. In our case, the information about the system will be given in semantic terms using asynchronous transition systems. Given an asynchronous transition system we build an algebra of localities whose models are possible implementations of the known system. We present different results concerning the models for the algebra of localities. In addition, our approach neatly considers the relation of localities and non-determinism. |
| DOI | 10.1007/10719839_42 |
PDF (Full text):
