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.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Centro Latinoamericano de Estudios en Informática
2007-12-01
|
| Schriftenreihe: | CLEI Electronic Journal |
| Online-Zugang: | http://clei.org/cleiej-beta/index.php/cleiej/article/view/282 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|