Shoji Yuen

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language	2024-11-13	Paper
revTPL: The Reversible Temporal Process Language	2024-03-11	Paper
A reversible debugger for imperative parallel programs with contracts	2022-11-11	Paper
Nested Timed Automata with Invariants	2022-11-04	Paper
The reversible temporal process language	2022-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3384916	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5014800	2021-12-08	Paper
A reversible runtime environment for parallel programs	2021-07-05	Paper
On reachability analysis of updatable timed automata with one updatable clock	2021-05-20	Paper
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway	2015-11-30	Paper
Nested Timed Automata with Frozen Clocks	2015-09-14	Paper
Concurrency and Reversibility	2014-09-02	Paper
Modelling of Bonding with Processes and Events	2013-12-17	Paper
Name-passing style GUI programming in the {\(\pi\)}-calculus-based language Nepi	2013-10-02	Paper
Nested Timed Automata	2013-08-16	Paper
MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS	2013-01-18	Paper
Generating priority rewrite systems for OSOS process languages	2009-04-14	Paper
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation	2004-09-08	Paper
Testing preorders for probabilistic processes.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536608	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4703888	1999-12-01	Paper

Research outcomes over time

This page was built for person: Shoji Yuen