Loading
|
Time Abstracted Bisimulation: Implicit Specification and Decidability (1993) Kim G. Larsen and Wang Yi |
||
|
Testing Probabilistic and Nondeterministic Processes (1992) Wang Yi and Kim Larsen |
||
|
CCS + Time = an Interleaving Model for Real Time Systems (1991) Wang Yi |
||
|
Towards a Theory of Testing for Probabilistic and Nondeterministic Processes (1991) Wang Yi |
||
|
Deciding Properties of Regular Timed Processes (1991) Uno Holmer, Kim Larsen and Wang Yi |
||
|
A Calculus of Real-Time Systems (1991) Wang Yi |
||
|
Specifying Processes in terms of their Environments (1990) Wang Yi |
||
|
Real Time Behaviour of Asynchronous Agents (1990) Wang Yi |
||
|
Environments as Specifications of Processes (1988) Wang Yi |
||
|
A Simple Protocol Proof (1988) Wang Yi |
