Shoji Yuen

Available identifiers

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2851082	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shoji Yuen