The following pages link to Twan Basten (Q202488):
Displayed 20 items.
- Item:Q202488 (redirect page) (← links)
- Branching bisimilarity is an equivalence indeed! (Q1350620) (← links)
- (Q2760250) (← links)
- (Q2761735) (← links)
- Diagnosing Workflow Processes using Woflan (Q2765226) (← links)
- (Q3404131) (← links)
- Deciding Life-Cycle Inheritance on Petri Nets (Q3550611) (← links)
- Parsing Partially Ordered Multisets (Q4385196) (← links)
- (Q4417902) (← links)
- (Q4535171) (← links)
- Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs (Q4564088) (← links)
- (Q5009705) (← links)
- Partial-Order Reduction for Supervisory Controller Synthesis (Q5034078) (← links)
- An algebraic semantics for hierarchical P/T nets (Q5096359) (← links)
- (Q5137346) (← links)
- Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited (Q5280811) (← links)
- (Q5295511) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Inheritance of workflows: An approach to tackling problems related to change (Q5958305) (← links)
- Modeling and analysis of switching max-plus linear systems with discrete-event feedback (Q6080682) (← links)