Reports of the Programming Research Group, University of Amsterdam
Nummer P9104 en 9106 zijn voortgezet als P9005b; Nummer P9111 is voortgezet als P9305b
| rdfs:label | "Reports of the Programming Research Group, University of Amsterdam" |
| schema:name | "Reports of the Programming Research Group, University of Amsterdam" |
| schema:author | Vakgroep Programmatuur (Amsterdam) |
| schema:description | "Nummer P9104 en 9106 zijn voortgezet als P9005b; Nummer P9111 is voortgezet als P9305b" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1987" |
|
schema:in |
"en" |
| "nl" | |
| schema:publication |
<https:/ |
Inverse relations
[ .. ] → schema:isPartOf → Reports of the Programming Research Group, University of Amsterdam
A car registration authority : a concise PSF-specification / I. Bethke, A. Ponseschema:ProductModel
A formal specification of the Amoeba Transaction Protocol / J.J. Brunekreefschema:ProductModel
A formal specification of the Ethernet protocol / S. Mauw, Gy. Maxschema:ProductModel
A formal specification of three simple protocols / J.J. van Wamelschema:ProductModel
A library for PSF / J.J. van Wamelschema:ProductModel
A logical framework for design processes / J. Treurschema:ProductModel
A mode transfer operator in process algebra / J.A. Bergstraschema:ProductModel
A mode transfer operator in process algebra / J.A. Bergstraschema:ProductModel
A process specification formalism / S. Mauw, G.J. Veltinkschema:ProductModel
A process specification formalism based on static COLD / J.C.M. Baeten ... [et al.]schema:ProductModel
A real time process logic / J.C.M. Baeten, J.A. Bergstra, R.N. Bolschema:ProductModel
A secret message in the archive of the last great pensionary of Holland / K. de Leeuw, H. van der Meerschema:ProductModel
A semantic approach to protocold using process algebra / S.F.M. van Vlijmen, J.J. van Wamelschema:ProductModel
A simple definition for parallel composition of prime event structures / F.W. Vaandragerschema:ProductModel
A simulator for muCRL in ASF+SDF / J.A. Verschurenschema:ProductModel
A simulator for PSF in PSF / B. Diertensschema:ProductModel
A study of a one bit sliding window protocol in ACP / J.J. van Wamelschema:ProductModel
A tool interface language for PSF / S. Mauw, G.J. Veltinkschema:ProductModel
A turning grille from the ancestral castle of the Dutch Stadtholders / K.M.M. de Leeuw, H. van der Meerschema:ProductModel
ACP with signals / J.A. Bergstraschema:ProductModel
... show all 112