MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jun Pang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Simplifying Itai-Rodeh Leader Election for Anonymous Rings
by Wan Fokkink, Jun Pang — 2004
…Simplifying Itai-Rodeh Leader Election for Anonymous Rings # Wan Fokkink 1,2 and Jun Pang 1 1…
Cited by 4 (2 self) – Add To MetaCart

eRENA3.1] Demonstration and Evaluation of Inhabited Television, eRENA Deliverable 3.1
by Wan Fokkink, Jun Pang — 1998 — Proceedings of the 6th Workshop on Real-Time Systems (ARTS’04
…Formal Verification of Timed Systems using Cones and Foci ⋆ Wan Fokkink 1,2 and Jun Pang 1 1 CWI…
Cited by 1 (1 self) – Add To MetaCart

Variations on itai-rodeh leader election for anonymous rings and their analysis in prism
by Wan Fokkink, Jun Pang — Journal of Universal Computer Science
…, The Netherlands wanf@(email omitted);) Jun Pang (Universität Oldenburg, Safety-Critical Embedded Systems Oldenburg…
Cited by 1 (0 self) – Add To MetaCart

Cones and Foci for Protocol Verification Revisited
by Wan Fokkink, Jun Pang — 2003 — In Proc. 6th Conference on Foundations of Software Science and Computation Structures, LNCS 2620
…Cones and Foci for Protocol Verification Revisited ⋆ Wan Fokkink 1,2 and Jun Pang 1 1 CWI…
Cited by 6 (2 self) – Add To MetaCart

Is timed branching bisimilarity an equivalence indeed
by Wan Fokkink, Jun Pang, Anton Wijs — 2005 — In Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005
…Is Timed Branching Bisimilarity an Equivalence Indeed? Wan Fokkink 1,3 , Jun Pang 2 , and Anton…
Cited by 2 (1 self) – Add To MetaCart

Model checking a cache coherence protocol for a Java DSM implementation
by Jun Pang, Wan Fokkink, Rutger Hofman, Ronald Veldema — 2003 — In Proceedings FMPPTA’03
…Model Checking a Cache Coherence Protocol of a Java DSM Implementation ⋆ Jun Pang 1 , Wan Fokkink…
Cited by 7 (0 self) – Add To MetaCart

A Note on K-state Self-Stabilization in a Ring with K=N
by Wan Fokkink, Wan Fokkink, Jaap-henk Hoepman, Jaap-henk Hoepman, Jun Pang, Jun Pang — 2004 — Nordic Journal of Computing
…-state Self-Stabilization in a Ring with K=N Wan Fokkink, Jaap-Henk Hoepman, Jun Pang REPORT SEN-R0402…
Cited by 1 (1 self) – Add To MetaCart

Compositional reasoning for probabilistic finite-state behaviors
by Yuxin Deng, Catuscia Palamidessi, Jun Pang — 2005 — In Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, LNCS 3838
… Palamidessi 2 ⋆⋆ , and Jun Pang 2 1 INRIA Sophia-Antipolis and Université Paris 7, France 2 INRIA Futurs…
Cited by 10 (3 self) – Add To MetaCart

Metrics for Action-labelled Quantitative Transition Systems
by Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang — 2005
… 1 Yuxin Deng a,2 Tom Chothia b Catuscia Palamidessi c Jun Pang c a INRIA Sophia…
Cited by 12 (3 self) – Add To MetaCart

Measuring anonymity with relative entropy
by Yuxin Deng, Jun Pang, Peng Wu — 2007 — In Proceedings of the 4th International Workshop on Formal Aspects in Security and Trust, volume 4691 of LNCS
…Measuring Anonymity with Relative Entropy Yuxin Deng 1 , Jun Pang 2 , Peng Wu 3 1 The University…
Cited by 7 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB