Shoji Yuen
Shoji Yuen
Verifierad e-postadress på is.nagoya-u.ac.jp - Startsida
TitelCiteras avÅr
Testing preorders for probabilistic processes
R Cleaveland, Z Dayar, SA Smolka, S Yuen
Information and Computation 154 (2), 93-148, 1999
711999
Fully abstract characterizations of testing preorders for probabilistic processes
S Yuen, R Cleaveland, Z Dayar, SA Smolka
CONCUR'94: Concurrency Theory, 497-512, 1994
511994
A reversible process calculus and the modelling of the ERK signalling pathway
I Phillips, I Ulidowski, S Yuen
International Workshop on Reversible Computation, 218-232, 2012
452012
Extending process languages with time
I Ulidowski, S Yuen
International Conference on Algebraic Methodology and Software Technology …, 1997
361997
Session type inference in Haskell
K Imai, S Yuen, K Agusa
arXiv preprint arXiv:1110.4163, 2011
262011
Nested timed automata
G Li, X Cai, M Ogawa, S Yuen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
232013
Web automata: A behavioral model of web applications based on the MVC model
S Yuen, K Kato, D Kato, K Agusa
Information and Media Technologies 1 (1), 66-79, 2006
232006
Concurrency and reversibility
I Ulidowski, I Phillips, S Yuen
International Conference on Reversible Computation, 1-14, 2014
202014
Modelling of bonding with processes and events
I Phillips, I Ulidowski, S Yuen
International Conference on Reversible Computation, 141-154, 2013
182013
Process languages for rooted eager bisimulation
I Ulidowski, S Yuen
International Conference on Concurrency Theory, 275-289, 2000
182000
Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
I Ulidowski, S Yuen
The Journal of Logic and Algebraic Programming 60, 401-460, 2004
142004
Environmental simulation of real-time systems with nested interrupts
G Li, S Yuen, M Adachi
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
132009
Session-ocaml: A Session-Based Library with Polarities and Lenses
K Imai, N Yoshida, S Yuen
International Conference on Coordination Languages and Models, 99-118, 2017
102017
Nested timed automata with frozen clocks
G Li, M Ogawa, S Yuen
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
102015
A Testing framework for web applications based on the MVC model with behavioral descriptions
S Yuen, K Kato, D Kato, S Yamamoto, S Agusa
International Conference on Information Technology & Applications, 2004
72004
Reversing imperative parallel programs
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1709.00828, 2017
62017
Web Automata: A Behavioral Model of Web applications based on the MVC model
K Kato
JSSST Dependable Software Workshop 2004, Feburary, 2004
62004
Reversing parallel programs with blocks and procedures
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1808.08651, 2018
52018
Reversing event structures
I Ulidowski, I Phillips, S Yuen
New Generation Computing 36 (3), 281-306, 2018
52018
Modeling and analysis of real-time systems with mutex components
G Li, X Cai, S Yuen
International Journal of Foundations of Computer Science 23 (04), 831-851, 2012
52012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20