Mathematical Studies of Information Processing 1978:
Kyoto,
Japan
Edward K. Blum, Manfred Paul, Satoru Takasu (Eds.):
Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978.
Lecture Notes in Computer Science 75 Springer 1979, ISBN 3-540-09541-1 
@proceedings{DBLP:conf/msi/1978,
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {Mathematical Studies of Information Processing, Proceedings of
the International Conference, Kyoto, Japan, August 23-26, 1978},
booktitle = {Mathematical Studies of Information Processing},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {75},
year = {1979},
isbn = {3-540-09541-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1
Session 2
- Reino Kurki-Suonio:
Nondeterminism, parallelism and intermittent assertions.
106-126
- Akinori Yonezawa:
A formal specification technique for abstract data types with parallelism.
127-150
- Susan S. Owicki:
Verifying parallel programs with resource allocation.
151-164
Session 3
Session 4
Session 5
- Shigeki Goto:
Program synthesis through Gödel's interpretation.
302-325
- Dines Bjørner:
The Vienna development method (VDM): Software specification & program synthesis.
326-359
Session 6
Session 7
- Joseph A. Goguen:
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs.
425-473
- Leslie Lamport:
The specification and proof of correctness of interactive programs.
474-537
Session 8
Copyright © Fri Dec 4 20:21:34 2009
by Michael Ley (ley@uni-trier.de)
