A semantics for While in π-calculus
This work presents an implementation in π-calculus of a subset of a C-like language called While. We codify booleans, integers and the statements of while : assig- nation, composition, if, skip and while. We study the relationship between precongruences in While andπ-calculus.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Centro Latinoamericano de Estudios en Informática
2007-12-01
|
| Series: | CLEI Electronic Journal |
| Online Access: | http://clei.org/cleiej-beta/index.php/cleiej/article/view/282 |
| id |
doaj-c78703d689444ea5ac841d8bbd80bd46 |
|---|---|
| record_format |
Article |
| spelling |
doaj-c78703d689444ea5ac841d8bbd80bd462020-11-24T21:07:17ZengCentro Latinoamericano de Estudios en InformáticaCLEI Electronic Journal0717-50002007-12-0110210.19153/cleiej.10.2.6A semantics for While in π-calculusPatricia Peratto This work presents an implementation in π-calculus of a subset of a C-like language called While. We codify booleans, integers and the statements of while : assig- nation, composition, if, skip and while. We study the relationship between precongruences in While andπ-calculus. http://clei.org/cleiej-beta/index.php/cleiej/article/view/282 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Patricia Peratto |
| spellingShingle |
Patricia Peratto A semantics for While in π-calculus CLEI Electronic Journal |
| author_facet |
Patricia Peratto |
| author_sort |
Patricia Peratto |
| title |
A semantics for While in π-calculus |
| title_short |
A semantics for While in π-calculus |
| title_full |
A semantics for While in π-calculus |
| title_fullStr |
A semantics for While in π-calculus |
| title_full_unstemmed |
A semantics for While in π-calculus |
| title_sort |
semantics for while in π-calculus |
| publisher |
Centro Latinoamericano de Estudios en Informática |
| series |
CLEI Electronic Journal |
| issn |
0717-5000 |
| publishDate |
2007-12-01 |
| description |
This work presents an implementation in π-calculus of a subset of a C-like language called While.
We codify booleans, integers and the statements of while : assig- nation, composition, if, skip and while.
We study the relationship between precongruences in While andπ-calculus.
|
| url |
http://clei.org/cleiej-beta/index.php/cleiej/article/view/282 |
| work_keys_str_mv |
AT patriciaperatto asemanticsforwhileinpcalculus AT patriciaperatto semanticsforwhileinpcalculus |
| _version_ |
1716763495739949056 |