K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Active and Concurrent Topology Maintenance - Xiaozhou Li Jayadev Self-citation (Misra) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. AddisonWesley, Reading, MA, 1988.
Concurrent Maintenance of Rings - Xiaozhou Li Jayadev Self-citation (Misra) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, 1988.
Timed Communicating Object Z - Brendan Mahony Information (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.
Unknown - Acknowledgements The Contribution (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
Rethinking Hardware Support for - Network Analysis And (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.
Combining Aspects of Reactive Systems - Leonid Kof And (Correct)
No context found.
Chandy, K.M., Misra, J.: Parallel Program Design - A Foundation. 2 edn. AddisonWesley (1989)
A Parallel Programming Style - And Its Algebra (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond.. - Gärtner, Jhumka (2004) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. AddisonWesley, Reading, MA, Reading, Mass., 1988.
On Systematic Design of Fast and Perfect Detectors - Jhumka, Gärtner, al. (2002) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, Reading, Mass., 1988.
Unknown - Symbolic Parallel Programming (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A foundation. Addison--Wesley Publishing Company, Reading, MA, 1988.
Logic of Global Synchrony - Yifeng Chen University (2000) (Correct)
No context found.
CHANDY,K.M.AND MISRA, J. 1988. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA.
Formal Verification of Communication Protocol Using Type.. - Zhang, Xie, Munro, al. (2003) (Correct)
No context found.
K. M. Chandy and J. Misra, Parallel Program Design : a Foundation. Reading, Mass.: Addison-Wesley, 1988.
On Systematic Design of Fast and Perfect Detectors - Jhumka, Gärtner, al. (2002) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, Reading, Mass., 1988.
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond.. - Gärtner, Jhumka (2004) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. AddisonWesley, Reading, MA, Reading, Mass., 1988.
A Formal Framework for Agent Itinerary Specification, Security.. - Lu, Xu (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
Specifying Multithreaded Java Semantics for - Program Verification Abhik (Correct)
No context found.
K. Mani Chandy and J. Misra. Parallel Program Design: a foundation. Addison Wesley, 1988.
Factorizing Fault Tolerance - Prasetya Swierst Ra (2000) (1 citation) (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design { A Foundation. Addison-Wesley Publishing Company, Inc., 1988.
Design and Implementation of Property-Oriented Detection.. - Wang, Gong, Wu, Qi (2001) (Correct)
No context found.
K. Mani Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, 1988.
Algebraic Process Verification - Groote, Reniers (5 citations) (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. AddisonWesley, 1989.
Superimpositions and Aspect-Oriented Programming - Sihman, Katz (2003) (3 citations) (Correct)
No context found.
Chandy, K. and Misra, J. (1988) Parallel Program Design - a Foundation. Addison-Wesley, Reading, MA.
A Theory for Composing Distributed Components Based.. - Prasetya, Vos.. (2003) (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design { A Foundation. Addison-Wesley Publishing Company, Inc., 1988.
Dining Philosophers with Crash Locality 1 - Scott Pike The (2004) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra, Parallel Program Design: A Foundation, Addison-Wesley, Reading, MA, USA, 1988.
On Systematic Design of Fast and Perfect Detectors - Jhumka, Gärtner, al. (2002) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, Reading, Mass., 1988.
Model Checking Data-Independent Systems With Arrays - Newcomb (2003) (3 citations) (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley Publishing Company, Inc., Reading, Massachusetts, 1988.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC