Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 2
Volume 2, Number 1, October 1982
- Christian Lengauer, Eric C. R. Hehner:
A Methodology for Programming with Concurrency: An Informal Presentation. 1-18 - Christian Lengauer:
A Methodology for Programming with Concurrency: The Formalism. 19-52 - John V. Guttag, James J. Horning, Jeannette M. Wing:
Some Notes on Putting Formal Specifications to Productive Use. 53-68 - Stephan Heilbrunner, Werner Pohlmann:
A Technique for Recursion Removal Based on String Homomorphisms. 69-81
Volume 2, Number 2, November 1982
- Philip E. London, Martin S. Feather:
Implementing Specification Freedoms. 91-131 - Martin Rem, Yong-il Choo:
A Fixed-Space Program of Linear Output Complexity for the Problem of the Three Vessels. 133-141 - Jayadev Misra, David Gries
:
Finding Repeated Elements. 143-152
Volume 2, Number 3, December 1982
- Tzilla Elrad, Nissim Francez:
Decomposition of Distributed Programs into Communication-Closed Layers. 155-173 - Leslie Lamport:
An Assertional Correctness Proof of a Distributed Algorithm. 175-206 - David Gries:
A Note on a Standard Strategy for Developing Loop Invariants and Loops. 207-214 - Grigori Mints, Enn Tyugu:
Justifications of the Structural Synthesis of Programs. 215-240 - E. Allen Emerson, Edmund M. Clarke:
Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. 241-266
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
