Alban Ponse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1991–2006
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CiE | An Introduction to Program and Thread Algebra. | Alban Ponse, Mark van der Zwaag |
| 1993 | CSL | Process Algebra with Combinators. | Jan A. Bergstra, Inge Bethke, Alban Ponse |
| 1991 | CONCUR | Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). | Jan Friso Groote, Alban Ponse |