Basten, Antonius André (1969-)
B9935143: Dept. of Electrical Engineering, Eindhoven Univ. of Technology
| rdfs:label | "Basten, Antonius André (1969-)" |
| schema:name | "Antonius André Basten" |
|
schema:family |
"Basten" |
|
schema:given |
"Antonius André" |
|
schema:alternate |
"Basten, T." |
| schema:description | "B9935143: Dept. of Electrical Engineering, Eindhoven Univ. of Technology" |
|
schema:birth |
"1969" |
|
schema:same |
<https:/ |
| wd:Q57312434 | |
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Basten, Antonius André (1969-)
A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation =+ abstraction / T. Basten, W.M.P. van der Aalstschema:ProductModel
An algebraic semantics for hierarchical P/T nets / by T. Basten and M. Voorhoeveschema:ProductModel
Enhancing partial-order reduction via process clustering / T. Basten and D. Bošnačkischema:ProductModel
In terms of nets : system design with Petri nets and process algebra / Antonius André Bastenschema:ProductModel
Inheritance of behavior / by Twan Basten and Wil M.P. van der Aalstschema:ProductModel
Process algebra in PVS / by Twan Basten and Jozef Hoomanschema:ProductModel
Simulating and analyzing railway interlockings in ExSpect / by T. Basten, R. Bol and M. Voorhoeveschema:ProductModel
[ .. ] → schema:contributor → Basten, Antonius André (1969-)
Ambient intelligence: impact on embedded system design / ed. by Twan Basten, Marc Geilen and Harmke De Grootschema:ProductModel
Deciding life-cycle inheritance on Petri nets / H.M.W. Verbeek, T. Bastenschema:ProductModel
Diagnosing workflow processes using Woflan / by H.M.W. Verbeek, T. Basten and W.M.P. van der Aalstschema:ProductModel
Diagnosing workflow processes using Woflan / H.M.W. Verbeek, T. Basten and W.M.P. van der Aalstschema:ProductModel
Inheritance of workflows : an approach to tackling problems related to change / by W.M.P. van Aalst and T. Bastenschema:ProductModel
Inheritance of workflows : an approach to tackling problems related to change / W.M.P. van der Aalst and T. Bastenschema:ProductModel
Life-cycle inheritance : a Petri-net-based approach / by W.M.P. van der Aalst and T. Bastenschema:ProductModel
Model-based design of adaptive embedded systems / edited by Twan Basten ... [et al.]schema:ProductModel
Partial-order process algebra (and its relation to Petri nets) / by J.C.M. Baeten and T. Bastenschema:ProductModel
Process algebra with autonomous actions / by M. Voorhoeve and T. Bastenschema:ProductModel
Static resource models for code-size efficient embedded processors / by Q. Zhao, B. Mesman, T. Bastenschema:ProductModel
Time and the order of abstract events in distributed computations / by T. Basten ... [et al.]schema:ProductModel