Software
Download:
|
|
by Patrick Varone
ftp://ftp.iam.unibe.ch/pub/scg/Papers/gsp.ps.gz
Add To MetaCart
Abstract:
Policies " (GSP) in the Pict programming language. Since Pict is defined by mapping programming language constructs to the pi calculus, this exercise helps us on the one hand to assign an operational semantics to GSP, and on the other hand to explore the use of Pict and the pi calculus as a basis for modelling advanced object-oriented programming constructs. Keywords: Object-based concurrency, synchronization, p calculus, semantics.
Citations
| 1 | 1] Mehmet Aksit, "On the Design of the Object-Oriented Language Sina – Bobrow - 1989 |
| 1 | Concurrent Objects in a Process Calculus – tutorial - 1994 |
| 1 | in Pict: a first implementation – GSP |
| 1 | on the syntax: the row operator – Variations |
