J. Misra and K. M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(7):417--426, 1981. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
J. Misra and K. M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(7):417--426, 1981.
Compositional Reasoning in Model Checking - Sergey Berezin Sergio (1998) (16 citations) (Correct)
No context found.
J. Misra and K. M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE-7#4#, July 1981.
Conditional Reactive Simulatability - Backes, Dürmuth, Hofheinz, Küsters (2006) (Correct)
No context found.
J. Misra and M. Chandy. Proofs of networks of processes. IEEE Transactions of Software Engineering, 7(4):417--426, 1981.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions of Software Engineering, July, 1981.
The Impossibility of Realizable Ideal Functionality - Datta, Derek, Mitchell.. (2005) (1 citation) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417--426, 1981.
Decomposing Specifications of Concurrent Systems - Abadi, Lamport (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE-7(4):417--426, July 1981.
A General Composition Theorem for Secure Reactive Systems - Backes, Pfitzmann, Waidner (2004) (25 citations) (Correct)
No context found.
J. Misra and K. M. Chandy. Proofs of network of processes. IEEE Transactions on Software Engineering, 7(4):417--426, 1981.
A Logical View of Composition - Abadi, Plotkin (1992) (4 citations) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE7 (4):417--426, July 1981.
Open Systems in TLA - Abadi, Lamport (1994) (2 citations) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE-7(4):417--426, July 1981.
Assumption/Guarantee Specifications in Linear-Time Temporal Logic - Jonsson, Tsay (1995) (1 citation) (Correct)
No context found.
J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417--426, July 1981.
On TLA as a Logic - Abadi, Merz (1996) (2 citations) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE-7(,( July 1981.
Towards the Compositional Verification of Real-Time.. - Giese, Schilling.. (2003) (Correct)
No context found.
J. Misra and M. Chandy. Proofs of Networks of Processes. IEEE Transactions on Software Engineering, 7(4):417--426, 1981.
Towards the Compositional Verification of Real-Time.. - Giese, TIchy.. (2003) (Correct)
No context found.
J. Misra and M. Chandy. Proofs of Networks of Processes. IEEE Transactions on Software Engineering, 7(4):417--426, 1981.
Equivalence-Based Reductions and checking for preorders - Bustan (2002) (Correct)
No context found.
J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(7):417--426, 1981.
Towards Automatic Verification of Embedded Control Software - Bauer, Huuck (2001) (Correct)
No context found.
J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(7):481--426, 1981.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417-- 426, July 1981.
Reasoning about Programs by Exploiting The Environment - Fix, B.Schneider (1994) (4 citations) (Correct)
No context found.
Misra, J. and M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, SE-7, 4 (July 1981), 417-426.
Towards the Compositional Verification of Real-Time.. - Giese, Tichy.. (2003) (Correct)
No context found.
J. Misra and M. Chandy. Proofs of Networks of Processes. IEEE Transactions on Software Engineering, 7(4):417--426, 1981.
Software Verification for Embedded Systems - Huuck (2002) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417--426, July 1981.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions of Software Engineering, July, 1981.
A General Composition Theorem for Secure Reactive Systems - Backes, Pfitzmann, Waidner (2004) (25 citations) (Correct)
No context found.
J. Misra and K. M. Chandy. Proofs of network of processes. IEEE Transactions on Software Engineering, 7(4):417--426, 1981.
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
No context found.
J. Misra and K. M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7:417--426, 1981.
Assume-Guarantee Reasoning - For Hierarchical Hybrid (Correct)
No context found.
J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7:417--426, 1981.
Modular Certification - Rushby (2002) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417--426, July 1981.
Modular Certification - Rushby (2002) (Correct)
No context found.
Jayadev Misra and K. Mani Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 7(4):417--426, July 1981.
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