America, Petrus Hubertus Maria (1959-)
| rdfs:label | "America, Petrus Hubertus Maria (1959-)" |
| schema:name | "Petrus Hubertus Maria America" |
|
schema:family |
"America" |
|
schema:given |
"Petrus Hubertus Maria" |
|
schema:alternate |
"America, Pierre" |
|
schema:birth |
"1959" |
|
schema:same |
<http:/ |
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → America, Petrus Hubertus Maria (1959-)
A layered semantics for a parallel object-oriented language / P.H.M. America, J.J.M.M. Ruttenschema:ProductModel
A parallel object-oriented language : design and semantic foundations / P.H.M. America, J.J.M.M. Ruttenschema:ProductModel
A parallel object-oriented language : design and semantic foundations / Petrus Hubertus Maria America en Johannes Josephus Martinus Matheus Ruttenschema:ProductModel
A parallel object-oriented language: design and semantic foundations / P.H.M. America, P.H.M. Americaschema:ProductModel
A proof theory for a sequential version of POOL / by Pierre America, Frank S. de Boerschema:ProductModel
A proof theory for a sequential version of POOL / P.H.M. Americaschema:ProductModel
A proof theory for process creation / P.H.M. America, F.S. de Boerschema:ProductModel
Designing equivalent semantic models for process creation / P. America, J.W. de Bakkerschema:ProductModel
Proving total correctness of recursive procedures / P. America, F.S. de Boerschema:ProductModel
Solving reflexive domain equations in a category of complete metric spaces / P. America, J.J.M.M. Ruttenschema:ProductModel
[ .. ] → schema:contributor → America, Petrus Hubertus Maria (1959-)
A denotational semantics of a parallel object-oriented language / P. America ... [et al.]schema:ProductModel
A proof system for process creation / Frank S. de Boer, Pierre Americaschema:ProductModel
Operational semantics of a parallel object-oriented language / P. America ... [et al.]schema:ProductModel