Ponse, Alban (1955-)
B0105812: University of Amsterdam and CWI
| rdfs:label | "Ponse, Alban (1955-)" |
| schema:name | "Alban Ponse" |
|
schema:family |
"Ponse" |
|
schema:given |
"Alban" |
| schema:description | "B0105812: University of Amsterdam and CWI" |
|
schema:birth |
"1955" |
|
schema:same |
<http:/ |
|
<https:/ |
|
| wd:Q102441229 | |
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Ponse, Alban (1955-)
Computable processes and bisimulation equivalence / A. Ponseschema:ProductModel
Equivalence of recursive specifications in process algebra / A. Ponse, Y.S. Usenkoschema:ProductModel
Process algebra and dynamic logic / A. Ponseschema:ProductModel
Process algebras with data / Alban Ponseschema:ProductModel
Process expressions and Hoare's logic / A. Ponseschema:ProductModel
Strong completeness for Hoare logics of recursive processes: an infinitary approach / A. Ponse, F.-J. de Vriesschema:ProductModel
The logic of ACP / A. Ponse, M.B. van der Zwaagschema:ProductModel
[ .. ] → schema:contributor → Ponse, Alban (1955-)
A car registration authority : a concise PSF-specification / I. Bethke, A. Ponseschema:ProductModel
An algebraic specification of a model factory / Vakgroep Programmatuur, Amsterdamschema:ProductModel
An algebraic specification of a model factory / Vakgroep Programmatuur, Amsterdamschema:ProductModel
Branching time and orthogonal bisimulation equivalence / J.A. Bergstra, A. Ponse, M.B. van der Zwaagschema:ProductModel
De proceedings: ACP '95 / by A. Ponse, C. Verhoef and S.F.M. van Vlijmen (eds.)schema:ProductModel
Execution architectures for program algebra / Jan A. Bergstra and Alban Ponseschema:ProductModel
Handbook of process algebra / ed. by J.A. Bergstra, A. Ponse, S.A. Smolkaschema:ProductModel
Linearization in parallel pCRL / J.F. Groote, A. Ponse, Y.S. Usenkoschema:ProductModel
Process algebra with backtracking / J.A. Bergstra, A. Ponse, J.J. van Wamelschema:ProductModel
Process algebra with guards : combining Hoare logic with process algebra / J.F. Groote, A. Ponseschema:ProductModel
Process algebra with iteration and nesting / J.A. Bergstra, I. Bethke, A. Ponseschema:ProductModel
Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponseschema:ProductModel
Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponseschema:ProductModel
Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponseschema:ProductModel
Proof theory for →m⇋CRL / J.F. Groote, A. Ponseschema:ProductModel
The syntax and semantics of →m⇋CRL / J.F. Groote, A. Ponseschema:ProductModel
Workshop on algebra of communicating processes : May 16-17, 1994 Utrecht University / A. Ponse [et al.] (eds.)schema:ProductModel