The following pages link to Shoji Yuen (Q1012120):
Displayed 20 items.
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- Testing preorders for probabilistic processes. (Q1854314) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- On reachability analysis of updatable timed automata with one updatable clock (Q2026561) (← links)
- A reversible runtime environment for parallel programs (Q2039912) (← links)
- A reversible debugger for imperative parallel programs with contracts (Q2097431) (← links)
- The reversible temporal process language (Q2165209) (← links)
- Nested Timed Automata (Q2842669) (← links)
- (Q2851082) (← links)
- Modelling of Bonding with Processes and Events (Q2868444) (← links)
- Nested Timed Automata with Frozen Clocks (Q2945595) (← links)
- Concurrency and Reversibility (Q3188912) (← links)
- (Q3384916) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- (Q4536608) (← links)
- (Q4703888) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
- (Q5014800) (← links)
- Nested Timed Automata with Invariants (Q5045378) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)