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 |