K. Chandy, J. Misra, Parallel Program Design, Addison-Wesley, New York, 1998.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Using BDDs with Combinations of Theories - Fontaine, Gribomont (2002) (2 citations) (Correct)
....remains acceptable. 6 Results Figure 7 presents some results for the validation of formulas coming from the veri cation of some algorithms. Burns, Dijkstra, Fisher, Ricart Agrawala, Szymanski are parameterized mutual exclusion algorithms often used as benchmarks for veri cation tools (See [6, 17] for more information on those algorithms) GRC is a generalized railroad crossing example [14] which has been widely used as benchmark for formal systems (See for example [3] t 1 and t 2 are total veri cation times (in seconds) without using our procedures to nd small connections, The ....
K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988.
Information Hiding in Parallel Programs - Foster (1992) (5 citations) (Correct)
....(I,Li) connect (0 ,Lo) 10 Related Work Program structuring and reuse are important themes in parallel computing research. These themes are particularly visible in CSP [19] functional programming [21, 18] concurrent logic programming [10, 16] object oriented programming [1] and Unity [7]. Most of these systems are based on lightweight process and message passing ideas similar to those explored in this paper. However, for a variety of reasons, they do not support the same forms of composition and reuse. CSP s processes and channels cannot be created dynam ically or communicated ....
Chandy, K. M., and Misra, J. Parallel Program Design, Addison-Wesley, 1988.
A Compiler Approach to Scalable Concurrent Program Design - Foster, Taylor (1992) (11 citations) (Correct)
....specialized versions of the system can bc developed for architectures of particular interest, by rctargcting the final stage of the compiler. 2 Related Work The benefits of an architecturally independent model of parallel computation have been widely recognized in the computer science community [29, 28, 25, 1, 7]. The notion of monotonicity is at the heart of several such programming models, notably concurrent logic programming [11, 24] functional programming [28, 26, 9] and object oriented programming [1] Similarly, concurrent composition underlies such diverse approaches as CSP [29] concurrent logic ....
.... several such programming models, notably concurrent logic programming [11, 24] functional programming [28, 26, 9] and object oriented programming [1] Similarly, concurrent composition underlies such diverse approaches as CSP [29] concurrent logic programming, functional programming, and Unity [7]. Unfor tunately, these models either do not support concurrent source to source transformations or embed the basic ideas in complex language designs and programming paradigms that have little to do with concurrent programming. Furthermore, few approaches are developed to the point where they can ....
Chandy, K. M., and Misra, J. Parallel Program Design, Addison-Wesley, 1988. 34
Model checking active networks with SPIN - Gallardo, Martinez, Merino (2005) (Correct)
No context found.
K. Chandy, J. Misra, Parallel Program Design, Addison-Wesley, New York, 1998.
Integration of Reliability and Performance.. - Gallardo.. (2005) (Correct)
No context found.
K. Chandy, J. Misra, Parallel Program Design. Addison-Wesley, 1998.
Unknown - Incomd Sciencecolum By (Correct)
No context found.
ChaCa Misra 1988 K.Mop Chandy and JayadevMevoD "Parallel Program Design", Addison-Wesley, 1988.
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
No context found.
Chandy, K.M., and Misra, J. 1988.Parallel program Design. Addison-Wesley, Reading, Mass.
Concurrent Program Design in the Extended Theory of Owicki and .. - Goldson, Dongol (2005) (Correct)
No context found.
Chandy, K. M. & Misra, J. (1988), Parallel Program Design, A Foundation, Addison-Wesley.
An Old-Fashioned Recipe for Real Time - Abadi, Lamport (1993) (190 citations) (Correct)
No context found.
Chandy, K. M. and Misra, J. 1988. Parallel Program Design. Reading, Massachusetts: Addison-Wesley.
Hybrid Systems in TLA+ - Lamport (1993) (35 citations) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988.
Lazy Caching in TLA - Ladkin, Lamport, Olivier, Roegel (1999) (10 citations) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988.
Specifying and Verifying Fault-Tolerant Systems - Lamport (1994) (24 citations) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988.
A Temporal Logic of Actions - Leslie Lamport April (1994) (158 citations) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988.
Sequential program composition in UNITY - Vos, Swierstra (2000) (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, Austin, Texas, May 1989.
Synchronous Extensions to Operation-Centric Hardware.. - Nordin, Hoe (2004) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.
The Concurrency Column - Aceto (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design. A Foundation. Addison Wesley, Reading MA 1988.
Evaluating Parallel Algorithms: Theoretical and Practical Aspects - Natvig (1996) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design, AFoundation. Addison-Wesley Publishing Company, Reading, Massachusetts, 1988.
Http://www.artist-Embedded.org/ - Artist Ist- Real-Time (2003) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, Massachusetts, 1988.
Progress with Java threads - As Dining Philosophers (Correct)
No context found.
Chandy, K.M., Misra, J.: Parallel Program Design, A Foundation. Addison--Wesley, 1988.
Reasoning about Programs by Exploiting The Environment - Fix, B.Schneider (1994) (4 citations) (Correct)
No context found.
Chandy, M. and J. Misra. Parallel program design. Addison-Wesley, 1988.
A Mathematical Model of the Mach Kernel - Bevier, Smith (1994) (3 citations) (Correct)
No context found.
K. Mani Chandy and Jayadev Misra. Parallel Program Design, a Foundation. Addison Wesley, 1988.
Decidability of Invariant Validation for Parameterized Systems - Fontaine, Gribomont (2003) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988.
Cones and Foci for Protocol Verification Revisited - Fokkink, Pang (2003) (Correct)
No context found.
K.M. Chandy and J. Misra. Parallel Program Design. A Foundation. Addison Wesley, 1988.
Hundreds of Impossibility Results for Distributed Computing - Fich, Ruppert (2003) (3 citations) (Correct)
No context found.
K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.
Experience with Logical Code Analysis in Software Maintenance - Hart (1995) (2 citations) (Correct)
No context found.
K.M. Chandy and J. Misra, Parallel Program Design, A Foundation, Addison-Wesley, Reading, 1989.
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