Lamport, L., Proving the correctness of multiprocess programs, IEEE Transactions on Software Engineering 3 (1977). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Pretending Atomicity - Lamport, Schneider (1989) (8 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125--143, March 1977.
win and sin: Predicate Transformers for Concurrency - Lamport (1990) (22 citations) Self-citation (Lamport) (Correct)
No context found.
Lamport, L. Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. SE-3, 2 (March 1977), 125--143.
The Mutual Exclusion Problem - Part II: Statement and Solutions - Lamport (2000) (38 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125--143, March 1977.
The Existence of Refinement Mappings - Mart'in Abadi And (1991) (231 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125-- 143, March 1977.
How to Make a Correct Multiprocess Program Execute Correctly on a .. - Lamport (1996) (11 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125--143, March 1977. 9
Revisiting Liveness Properties in the Context of Secure Systems - Gärtner (2002) Self-citation (Lamport) (Correct)
No context found.
Lamport, L. 1977. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering 3, 2 (March), 125--143.
Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (7 citations) (Correct)
No context found.
Lamport, L., Proving the correctness of multiprocess programs, IEEE Transactions on Software Engineering 3 (1977).
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond.. - Gärtner, Jhumka (2004) (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, Mar. 1977.
Towards reliable self-integrative IT systems - Dirk Niebuhr Gottlieb-Daimler-Str (Correct)
No context found.
Leslie Lamport. Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering, Vol.3 No.2. 1977.
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at.. - Moy, Maraninchi, al. (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE3 (2):125--143, 1977.
Modeling and Visualizing Security Properties of Code Using.. - Wilander (2005) (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, 1977.
Towards a Development Approach for - Dynamic-Integrative Systems Dirk (Correct)
No context found.
Leslie Lamport. Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering, Vol.3 No.2. 1977.
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Trans. on Softw. Eng., SE-3:2:125--143, 1977.
Pattern Matching Security Properties of Code using Dependence Graphs - And (2005) (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, 1977.
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, 1977.
On Systematic Design of Fast and Perfect Detectors - Jhumka, Gärtner, al. (2002) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, March 1977.
On Systematic Design of Fast and Perfect Detectors - Jhumka, Gärtner, al. (2002) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, March 1977.
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond.. - Gärtner, Jhumka (2004) (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, Mar. 1977.
Revisiting Liveness Properties in the Context of Secure Systems - Gärtner (2002) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125--143, March 1977.
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL - Flake (2004) (Correct)
No context found.
L. Lamport. Proving the Correctness of Multiprocess Programs. IEEE Transactions on Software Engineering, 1977.
Approaching a Formal Definition of Fairness in Electronic.. - Gärtner, Pagnia, Vogt (Correct)
No context found.
Lamport, L. 1977. Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. 3, 2 (March), 125--143.
Completeness of the Owicki-Gries System for Parameterized.. - Prensa-Nieto (Correct)
No context found.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3(2):125-143, 1977.
LTL Model Checking - Pelánek (2003) (Correct)
No context found.
L.Lamport. Proving correctness of multiprocess programs. IEEE Transactions Software Engineering, (3):125-143, 1977.
LTL Hierarchies and Model Checking - Pelánek (Correct)
No context found.
L. Lamport. Proving correctness of multiprocess programs. IEEE Transactions Software Engineering, (3):125-143, 1977.
Edit Automata: Enforcement Mechanisms for Run-time.. - Ligatti, Bauer, Walker (2003) (6 citations) (Correct)
No context found.
Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions of Software Engineering, 3(2):125--143, 1977.
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