Composing specifications

M Abadi, L Lamport - Workshop/School/Symposium of the REX Project …, 1989 - Springer
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 …
被引用次数：252 相关文章

[引用][C] Composing Specifications

M Abadi, L Lamport - 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 …

[引用][C] Composing specifications

M ABADI, L LAMPORT - Lecture notes in computer science, 1990 - pascal-francis.inist.fr
Composing specifications CNRS Inist Pascal-Francis CNRS Pascal and Francis
Bibliographic Databases Simple search Advanced search Search by classification Search …

[引用][C] Composing Specifications

M Abadi, L Lamport - Stepwise Refinement of Distributed Systems …, 1989 - dl.acm.org
Composing Specifications | Stepwise Refinement of Distributed Systems, Models, Formalisms,
Correctness, REX Workshop skip to main content ACM Digital Library home ACM corporate …

Composing specifications

M Abadi, L Lamport - Stepwise Refinement of Distributed Systems Models … - infona.pl
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 …

Composing Specifications

M Abadi, L Lamport - … Workshop, Mook, The Netherlands, May 29 …, 1990 - books.google.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 …

[引用][C] Composing Specifications

M Abadi, L Lamport - 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 …

[引用][C] Composing specifications

M Abadi, L Lamport - Proceedings on Stepwise refinement of distributed …, 1990 - dl.acm.org
Composing specifications | Proceedings on Stepwise refinement of distributed systems: models,
formalisms, correctness ACM Digital Library home ACM home Google, Inc. (search) Advanced …

[引用][C] Composing specifications

M ABADI, L LAMPORT - Lecture notes in computer science, 1990 - Springer

[引用][C] Composing specifications

M Abadi, L Lamport - Stepwise Refinement of Distributed Systems Models …, 1990 - Springer