Searching for authors named "Taolue Chen" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
On finite alphabets and infinite bases III: Simulation
- …On Finite Alphabets and Infinite Bases III: Simulation ⋆ Taolue Chen 1,2 and Wan Fokkink 1,3 1 CWI…
- Cited by 2 (1 self) – Add To MetaCart
-
Ready to Preorder: The Case of Weak Process Semantics*
- … Ready to Preorder: The Case of Weak Process Semantics* Taolue Chen CWIPO Box 94079, 1090 GB…
- Add To MetaCart
-
On finite alphabets and infinite bases II: Completed and ready simulation
- …On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation ⋆ Taolue Chen 1,2 , Wan…
- Cited by 2 (2 self) – Add To MetaCart
-
On the axiomatizability of priority
- …On the Axiomatizability of Priority ⋆ Luca Aceto 1,2 , Taolue Chen 3,5 , Wan Fokkink 3…
- Cited by 7 (5 self) – Add To MetaCart
-
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm
- … Chen 1,3 Tingting Han 2 Jian Lu 3 1 CWI, Department of Software Engineering, P.O. Box 94079, 1090GB…
- Add To MetaCart
-
On Finite Bases for Weak Semantics: Failures versus Impossible Futures ⋆
- …On Finite Bases for Weak Semantics: Failures versus Impossible Futures ⋆ Taolue Chen 1 , Wan…
- Add To MetaCart
-
Equivalence checking for infinite systems using parameterized boolean equation systems
- …Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems Taolue Chen…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
