Composing specifications
M Abadi, L Lamport - ACM Transactions on Programming Languages …, 1993 - dl.acm.org
A rigorous modular specification method requires a proof rule asserting that if each
component behaves correctly in isolation, then it behaves correctly in concert with other …
component behaves correctly in isolation, then it behaves correctly in concert with other …
[PDF][PDF] Composing Specifications
M n Abadi, L Lamport - 1990 - shiftleft.com
In the transition-axiom method, concurrent systems are speci ed by combining abstract
programs and temporal logic [Lam89]. The method permits a hierarchical approach in which …
programs and temporal logic [Lam89]. The method permits a hierarchical approach in which …
[PDF][PDF] Composing Specifications
M n Abadi, L Lamport - 1990 - bitsavers.trailing-edge.com
In the transition-axiom method, concurrent systems are speci ed by combining abstract
programs and temporal logic [Lam89]. The method permits a hierarchical approach in which …
programs and temporal logic [Lam89]. The method permits a hierarchical approach in which …
[引用][C] Composing specifications
M ABADI, L LAMPORT - ACM transactions on programming …, 1993 - pascal-francis.inist.fr
Composing specifications CNRS Inist Pascal-Francis CNRS Pascal and Francis
Bibliographic Databases Simple search Advanced search Search by classification Search …
Bibliographic Databases Simple search Advanced search Search by classification Search …
[PDF][PDF] Composing Specifications
M ABADI, L LAMPORT - ACM Transactions on …, 1993 - lamport.azurewebsites.net
A rigorous modular specification method requires a proof rule asserting that if each
component behaves correctly in isolation, then it behaves correctly in concert with other …
component behaves correctly in isolation, then it behaves correctly in concert with other …
[PDF][PDF] Composing Specifications
M ABADI, L LAMPORT - ACM Transactions on Programming …, 1993 - scholar.archive.org
A rigorous modular specification method requires a proof rule asserting that if each
component behaves correctly in isolation, then it behaves correctly in concert with other …
component behaves correctly in isolation, then it behaves correctly in concert with other …
[PDF][PDF] Composing Specifications
M ABADI, L LAMPORT - ACM Transactions on Programming Languages …, 1993 - Citeseer
A rigorous modular specification method requires a proof rule asserting that if each
component behaves correctly in isolation, then it behaves correctly in concert with other …
component behaves correctly in isolation, then it behaves correctly in concert with other …
[引用][C] Composing Specifications
M Abadi, L Lamport - ACM Trans. Program. Lang. Syst, 1993 - research.google
Composing Specifications Jump to Content Research Research Who we are Back to Who we
are menu Defining the technology of today and tomorrow. Philosophy We strive to create an …
are menu Defining the technology of today and tomorrow. Philosophy We strive to create an …
[PDF][PDF] Composing Specifications
M ABADI, L LAMPORT - ACM Transactions on Programming …, 1993 - microsoft.com
A rigorous modular specification method requires a proof rule asserting that if each
component behaves correctly in isolation, then it behaves correctly in concert with other …
component behaves correctly in isolation, then it behaves correctly in concert with other …
[PDF][PDF] Composing Specifications
M n Abadi, L Lamport - 1990 - bitsavers.org
In the transition-axiom method, concurrent systems are speci ed by combining abstract
programs and temporal logic [Lam89]. The method permits a hierarchical approach in which …
programs and temporal logic [Lam89]. The method permits a hierarchical approach in which …