Luttik, Sebastiaan Pascal (1973-)
B0232874: auteursnaam op omslag: Bas Luttik
| rdfs:label | "Luttik, Sebastiaan Pascal (1973-)" |
| schema:name | "Sebastiaan Pascal Luttik" |
|
schema:family |
"Luttik" |
|
schema:given |
"Sebastiaan Pascal" |
|
schema:alternate |
"Luttik, Bas" |
| schema:description | "B0232874: auteursnaam op omslag: Bas Luttik" |
| "B9736768: Centrum voor Wiskunde en Informatica" | |
|
schema:birth |
"1973" |
|
schema:same |
<https:/ |
| wd:Q102251021 | |
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Luttik, Sebastiaan Pascal (1973-)
Choice quantification in process algebra / Sebastiaan Pascal Luttikschema:ProductModel
Choice quantification in process algebra / Sebastiaan Pascal Luttikschema:ProductModel
Complete axiomatisations of weak-, delay- and →ē⇋-bisimulation for process algebras with alternative quantification over data / S.P. Luttikschema:ProductModel
Cylindric process algebras with conditionals give substitutionless pCRL / S.P. Luttikschema:ProductModel
Decomposition orders - another generalisation of the fundamental theorem of arithemetic / S.P. Luttik, V. van Oostromschema:ProductModel
Description and formal specification of the link layer of P1394 / S.P. Luttikschema:ProductModel
[ .. ] → schema:contributor → Luttik, Sebastiaan Pascal (1973-)
A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J.F. Groote, S.P. Luttikschema:ProductModel
An →ō⇋-complete equational specification of interleaving / W.J. Fokkink, S.P. Luttikschema:ProductModel
Undecidability and completeness results for process algebras with alternative quantification over data / J.F. Groote, S.P. Luttikschema:ProductModel