S
Shoji Yuen
Researcher at Nagoya University
Publications - 51
Citations - 594
Shoji Yuen is an academic researcher from Nagoya University. The author has contributed to research in topics: Timed automaton & Session (computer science). The author has an hindex of 12, co-authored 48 publications receiving 549 citations.
Papers
More filters
Journal ArticleDOI
Testing Preorders for Probabilistic Processes
TL;DR: The theory enjoys close connections with the classical testing theory of De Nicola and Hennessy in that whenever a process passes a test with probability 1 and some nonzero probability, then the process must (respectively may) pass the test in the classical theory.
Book ChapterDOI
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
TL;DR: A reversible process calculus with a new feature of execution control that allows to change the direction and pattern of computation is introduced, which allows for a variety of modes of reverse computation.
Book ChapterDOI
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes
TL;DR: This work presents alternative characterizations of the testing preorders for probabilistic processes proposed in [CSZ92], and shows that the alternative characterization is fully abstract with respect to the corresponding testing pre-order, thereby resolving an open problem in [ CSZ92].
Book ChapterDOI
Modelling of bonding with processes and events
TL;DR: Two forms of modelling of systems that consist of objects that are combined together by the means of bonds are introduced and how bonds are created and dissolved via reduction-style semantics are defined.
Book ChapterDOI
Extending Process Languages with Time
Irek Ulidowski,Shoji Yuen +1 more
TL;DR: A uniform framework, based on the ordered structural operational semantics (SOS) approach, for extending arbitrary process languages with discrete time is proposed and the generality of this framework allows the user to select the most suitable timed process language for a task in hand.