M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Specifying Concurrent Systems with TLA+ - Lamport (1999) (4 citations) Self-citation (Lamport) (Correct)
No context found.
Martn Abadi and Leslie Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507--534, May 1995.
Fairness and Hyperfairness - Leslie Lamport May (1988) (4 citations) Self-citation (Lamport) (Correct)
No context found.
Martn Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
Decomposing Specifications of Concurrent Systems - Abadi, Lamport Self-citation (Abadi Lamport) (Correct)
No context found.
Martn Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
Open Systems in TLA - Abadi, Lamport (1994) (2 citations) Self-citation (Abadi Lamport) (Correct)
No context found.
Martn Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, 1993.
Ensuring Structure and Behavior Correctness in . . . - Dong (Correct)
No context found.
M. Abadi and L. Lamport. Composing Specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
Modular Event-Based Systems - Fiege, Mühl, Gärtner (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, Jan. 1993.
Revisiting Liveness Properties in the Context of Secure Systems - Gärtner (2002) (Correct)
No context found.
Martn Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
A General Composition Theorem for Secure Reactive Systems - Backes, Pfitzmann, Waidner (2004) (25 citations) (Correct)
No context found.
M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507--534, 1995.
A Theory for Composing Distributed Components Based.. - Prasetya, Vos.. (2003) (Correct)
No context found.
M. Abadi and L. Lamport. Conjoining speci cations. ACM Transactions on Programming Languages and Systems, 17(3):507-534, May 1995.
A Theory for Composing Distributed Components Based.. - Prasetya, Vos.. (2003) (Correct)
No context found.
M. Abadi and L. Lamport. Composing speci cations. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993.
Assumption/Guarantee Specifications in Linear-Time Temporal Logic - Jonsson, Tsay (1995) (1 citation) (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
Investigating a File Transfer Protocol Using CSP and B - Evans, Treharne (2003) (Correct)
No context found.
Abadi M., Lamport L.: Composing Specifications, ACM Transactions on Programming Languages and Systems, Volume 15, Number 1, January (1993).
Interfaces for Modular Feature Verification - Harry Li Hcli (2002) (3 citations) (Correct)
No context found.
M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507--534, 1995.
Assumption Generation for Software Component Verification - Giannakopoulou.. (2002) (8 citations) (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1992.
Modular Event-Based Systems - Fiege, Mühl, Gärtner (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, Jan. 1993.
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
No context found.
M. Abadi and L. Lamport. Composing speci cations. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993.
Games with Secure Equilibria - Krishnendu Chatterjee Thomas (Correct)
No context found.
M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17:507--534, 1995.
Combining Monitors for Runtime System Verification - Levy, Saïdi, Uribe (2002) (Correct)
No context found.
Abadi, M. and L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems 14 (1992), pp. 1--60.
Towards Automatic Verification of Embedded Control Software - Bauer, Huuck (2001) (Correct)
No context found.
M. Abadi and L.Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507--534, 1995.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 1(15):73--132, 1993.
Basic theory of F-bounded quantification - Baldan, Ghelli, Raffaetà (1999) (Correct)
No context found.
M. Abadi and L. Cardelli. On subtyping and matching. ACM Transactions on Programming Languages and Systems, 18(4):401--423, 1996.
Real-time System = Discrete System + Clock Variables - Alur, Henzinger (1997) (5 citations) (Correct)
No context found.
M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, 1993.
The Theory of Timed I/O Automata - Kaynar, Lynch, Segala, Vaandrager (2003) (Correct)
No context found.
M. Abadi and L. Lamport. Composing speci cations. ACM Transactions on Programming Languages and Systems, 1(15):73-132, 1993.
Revisiting Liveness Properties in the Context of Secure Systems - Gärtner (2002) (Correct)
No context found.
Martn Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73--132, January 1993.
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