Search dblp for Publications

export results for "stream:streams/conf/msi:"

 download as .bib file

@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  publisher = {Springer},
  year      = {1979},
  url       = {https://doi.org/10.1007/3-540-09541-1},
  doi       = {10.1007/3-540-09541-1},
  isbn      = {3-540-09541-1},
  timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/1978.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/AndersonBB78,
  author    = {E. R. Anderson and
               Frank C. Belz and
               Edward K. Blum},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Extending an implementation language to a specification language},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {384--424},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_35},
  doi       = {10.1007/3-540-09541-1\_35},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/AndersonBB78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Bjorner78,
  author    = {Dines Bj{\o}rner},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {The Vienna development method {(VDM):} Software specification {\&}
               program synthesis},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {326--359},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_33},
  doi       = {10.1007/3-540-09541-1\_33},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Bjorner78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Blikle78,
  author    = {Andrzej Blikle},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Specified programming},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {228--251},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_29},
  doi       = {10.1007/3-540-09541-1\_29},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Blikle78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/CartwrightM78,
  author    = {Robert Cartwright and
               John McCarthy},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Recursive programs as functions in a first order theory},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {576--629},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_40},
  doi       = {10.1007/3-540-09541-1\_40},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/CartwrightM78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Culik78,
  author    = {Karel Cul{\'{\i}}k},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Synchronized parallel computation and slowdown of translators},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {67--105},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_23},
  doi       = {10.1007/3-540-09541-1\_23},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Culik78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Elgot78,
  author    = {Calvin C. Elgot},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {A representative strong equivalence class for accessible flowchart
               schemes},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {559--575},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_39},
  doi       = {10.1007/3-540-09541-1\_39},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Elgot78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Goguen78,
  author    = {Joseph A. Goguen},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Some design principles and theory for OBJ-O, a language to express
               and execute algebraic specification for programs},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {425--473},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_36},
  doi       = {10.1007/3-540-09541-1\_36},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Goguen78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Goto78,
  author    = {Shigeki Goto},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Program synthesis through G{\"{o}}del's interpretation},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {302--325},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_32},
  doi       = {10.1007/3-540-09541-1\_32},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Goto78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Kambayashi78,
  author    = {Yahiko Kambayashi},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Equivalent key problem of the relational database model},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {165--192},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_27},
  doi       = {10.1007/3-540-09541-1\_27},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Kambayashi78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Kurki-Suonio78,
  author    = {Reino Kurki{-}Suonio},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Nondeterminism, parallelism and intermittent assertions},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {106--126},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_24},
  doi       = {10.1007/3-540-09541-1\_24},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Kurki-Suonio78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Lamport78,
  author    = {Leslie Lamport},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {The specification and proof of correctness of interactive programs},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {474--537},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_37},
  doi       = {10.1007/3-540-09541-1\_37},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Lamport78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Langmaack78,
  author    = {Hans Langmaack},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {On a theory of decision problems in programming languages},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {538--558},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_38},
  doi       = {10.1007/3-540-09541-1\_38},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Langmaack78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/LauerS78,
  author    = {Peter E. Lauer and
               M. W. Shields},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {On the abstract specification and formal analysis of synchronization
               properties of concurrent systems},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {1--32},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_21},
  doi       = {10.1007/3-540-09541-1\_21},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/LauerS78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/LoeckxG78,
  author    = {Jacques Loeckx and
               Ingrid Glasner},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {A calculus for proving properties of while-programs},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {252--281},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_30},
  doi       = {10.1007/3-540-09541-1\_30},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/LoeckxG78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/MillerY78,
  author    = {Raymond E. Miller and
               Chee{-}Keng Yap},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {On the formal specification and analysis for loosely connected processes},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {33--66},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_22},
  doi       = {10.1007/3-540-09541-1\_22},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/MillerY78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Owicki78,
  author    = {Susan S. Owicki},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {Verifying parallel programs with resource allocation},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {151--164},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_26},
  doi       = {10.1007/3-540-09541-1\_26},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Owicki78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/PaulG78,
  author    = {Manfred Paul and
               Ulrich G{\"{u}}ntzer},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {On a uniform formal description of data structures},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {360--383},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_34},
  doi       = {10.1007/3-540-09541-1\_34},
  timestamp = {Fri, 09 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/msi/PaulG78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/SugawaraKN78,
  author    = {Kazuhide Sugawara and
               Hiroshi Kawaguchi and
               Teruyasu Nishizawa},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {"E-correctness" of a set of "computation processes"},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {282--301},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_31},
  doi       = {10.1007/3-540-09541-1\_31},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/SugawaraKN78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/TanakaVKY78,
  author    = {Katsumi Tanaka and
               Chung Le Viet and
               Yahiko Kambayashi and
               Shuzo Yajima},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {A file organization suitable for relational database operations},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {193--227},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_28},
  doi       = {10.1007/3-540-09541-1\_28},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/TanakaVKY78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Yonezawa78,
  author    = {Akinori Yonezawa},
  editor    = {Edward K. Blum and
               Manfred Paul and
               Satoru Takasu},
  title     = {A formal specification technique for abstract data types with parallelism},
  booktitle = {Mathematical Studies of Information Processing, Proceedings of the
               International Conference, Kyoto, Japan, August 23-26, 1978},
  series    = {Lecture Notes in Computer Science},
  volume    = {75},
  pages     = {127--150},
  publisher = {Springer},
  year      = {1978},
  url       = {https://doi.org/10.1007/3-540-09541-1\_25},
  doi       = {10.1007/3-540-09541-1\_25},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/msi/Yonezawa78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics