Ponse, A. (Alban), 1955-
Ponse, Alban 1955-....
Ponse, Alban
Ponse, A.
Alban Ponse Ph.D. Universiteit van Amsterdam 1992
Ponse, A. (Alban)
VIAF ID: 114236803 ( Personal )
Permalink: http://viaf.org/viaf/114236803
Preferred Forms
- 100 0 _ ‡a Alban Ponse ‡c Ph.D. Universiteit van Amsterdam 1992
- 200 _ | ‡a Ponse ‡b Alban ‡f 1955-....
- 100 1 _ ‡a Ponse, A.
- 100 1 _ ‡a Ponse, A. ‡q (Alban)
- 100 1 0 ‡a Ponse, A. ‡q (Alban), ‡d 1955-
-
-
-
-
- 100 1 _ ‡a Ponse, Alban
-
- 100 1 _ ‡a Ponse, Alban
-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
ACP94 | |
Algebra of communicating processes : proceedings | |
An algebraic specification of a model factory. | |
Branching time and orthogonal bisimulation equivalence | |
A car registration authority : a concise PSF-specification | |
Computable processes and bisimulation equivalence, 1992: | |
Execution architectures for program algebra | |
Festschrift in honour of Jan Bergstra | |
Handbook of process algebra | |
Linearization in parallel pCRL | |
The logic of ACP | |
Modal logic and process algebra : a bisimulation perspective | |
De proceedings: ACP '95 | |
Process algebra with guards : combining Hoare logic with process algebra | |
Process expressions and Hoare's logic | |
Programma-algebra, een inleiding tot de programmatuur | |
Proof theory for micro CRL | |
Strong completeness for Hoare logics of recursive processes: an infinitary approach |