default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Studies of Information Processing 1978: Kyoto, Japan

> Home > Conferences and Workshops > Mathematical Studies of Information Processing

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/msi/1978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/1978
Edward K. Blum, Manfred Paul, Satoru Takasu:
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

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/msi/LauerS78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/LauerS78
Peter E. Lauer, M. W. Shields:
On the abstract specification and formal analysis of synchronization properties of concurrent systems. 1-32
- view
  authority control:
- export record
  dblp key:
  - conf/msi/MillerY78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/MillerY78
Raymond E. Miller, Chee-Keng Yap:
On the formal specification and analysis for loosely connected processes. 33-66
- view
  authority control:
- export record
  dblp key:
  - conf/msi/Culik78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Culik78
Karel Culík:
Synchronized parallel computation and slowdown of translators. 67-105

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/msi/Kurki-Suonio78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Kurki-Suonio78
Reino Kurki-Suonio:
Nondeterminism, parallelism and intermittent assertions. 106-126
- view
  authority control:
- export record
  dblp key:
  - conf/msi/Yonezawa78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Yonezawa78
Akinori Yonezawa:
A formal specification technique for abstract data types with parallelism. 127-150
- view
  authority control:
- export record
  dblp key:
  - conf/msi/Owicki78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Owicki78
Susan S. Owicki:
Verifying parallel programs with resource allocation. 151-164

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/msi/Kambayashi78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Kambayashi78
Yahiko Kambayashi:
Equivalent key problem of the relational database model. 165-192
- view
  authority control:
- export record
  dblp key:
  - conf/msi/TanakaVKY78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/TanakaVKY78
Katsumi Tanaka, Chung Le Viet, Yahiko Kambayashi, Shuzo Yajima:
A file organization suitable for relational database operations. 193-227

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/msi/Blikle78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Blikle78
Andrzej Blikle:
Specified programming. 228-251
- view
  authority control:
- export record
  dblp key:
  - conf/msi/LoeckxG78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/LoeckxG78
Jacques Loeckx, Ingrid Glasner:
A calculus for proving properties of while-programs. 252-281
- view
  authority control:
- export record
  dblp key:
  - conf/msi/SugawaraKN78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/SugawaraKN78
Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa:
"E-correctness" of a set of "computation processes". 282-301

Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/msi/Goto78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Goto78
Shigeki Goto:
Program synthesis through Gödel's interpretation. 302-325
- view
  authority control:
- export record
  dblp key:
  - conf/msi/Bjorner78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Bjorner78
Dines Bjørner:
The Vienna development method (VDM): Software specification & program synthesis. 326-359

Session 6

- view
  authority control:
- export record
  dblp key:
  - conf/msi/PaulG78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/PaulG78
Manfred Paul, Ulrich Güntzer:
On a uniform formal description of data structures. 360-383
- view
  authority control:
- export record
  dblp key:
  - conf/msi/AndersonBB78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/AndersonBB78
E. R. Anderson, Frank C. Belz, Edward K. Blum:
Extending an implementation language to a specification language. 384-424

Session 7

- view
  authority control:
- export record
  dblp key:
  - conf/msi/Goguen78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Goguen78
Joseph A. Goguen:
Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs. 425-473
- view
  authority control:
- export record
  dblp key:
  - conf/msi/Lamport78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Lamport78
Leslie Lamport:
The specification and proof of correctness of interactive programs. 474-537

Session 8

- view
  authority control:
- export record
  dblp key:
  - conf/msi/Langmaack78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Langmaack78
Hans Langmaack:
On a theory of decision problems in programming languages. 538-558
- view
  authority control:
- export record
  dblp key:
  - conf/msi/Elgot78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/Elgot78
Calvin C. Elgot:
A representative strong equivalence class for accessible flowchart schemes. 559-575
- view
  authority control:
- export record
  dblp key:
  - conf/msi/CartwrightM78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msi/CartwrightM78
Robert Cartwright, John McCarthy:
Recursive programs as functions in a first order theory. 576-629

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.