Skip to search
Skip to main content
Title starts with
Author (sorted by title)
Call number (browse)
Princeton University Library Catalog
Mathematical Studies of Information Processing [electronic resource] : Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978 / edited by E.K. Blum, M. Paul, S. Takasu.
1st ed. 1979.
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979.
1 online resource (X, 634 p.)
Lecture Notes in Computer Science, 75
[More in this series]
Lecture Notes in Computer Science, 0302-9743 ; 75
[More in this series]
Bibliographic Level Mode of Issuance: Monograph
On the abstract specification and formal analysis of synchronization properties of concurrent systems
On the formal specification and analysis of loosely connected processes
Synchronized parallel computation and slowdown of translators
Nondeterminism, parallelism and intermittent assertions
A formal specification technique for abstract data types with parallelism
Verifying parallel programs with resource allocation
Equivalent key problem of the relational database model
A file organization suitable for relational database operations
A calculus for proving properties of while-programs
"E-correctness" of a set of "computation processes"
Program synthesis through Gödel's interpretation
The vienna development method (VDM)
On a uniform formal description of data structures
Extending an implementation language to a specification language
Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs
The specification and proof of correctness of interactive programs
On a theory of decision problems in programming languages
A representative strong equivalence class for accessible flowchart schemes
Recursive programs as functions in a first order theory.
Show 17 more Contents items
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Ask a Question
Suggest a Correction
Report Harmful Language