Search dblp for Publications

export results for "toc:db/conf/fsttcs/fsttcs84.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fsttcs/AtkinsonM84,
  author       = {Malcolm P. Atkinson and
                  Ronald Morrison},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Persistent First Class Procedures are Enough},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {223--240},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_75},
  doi          = {10.1007/3-540-13883-8\_75},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/AtkinsonM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Beynon84,
  author       = {Meurig Beynon},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Replacement in Monotone Boolean Networks: An Algebraic Perspective},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {165--178},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_71},
  doi          = {10.1007/3-540-13883-8\_71},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Beynon84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BhattacharyaGSS84,
  author       = {Bhargab B. Bhattacharya and
                  Suranjan Ghose and
                  Bhabani P. Sinha and
                  Pradip K. Srimani},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Heuristic Search Approach to Optimal Routing in a Distributed Architecture},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {152--164},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_70},
  doi          = {10.1007/3-540-13883-8\_70},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BhattacharyaGSS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BuckleyS84,
  author       = {Gael N. Buckley and
                  Abraham Silberschatz},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Eliminating Cascading Rollback in Structured Database},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {331--343},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_81},
  doi          = {10.1007/3-540-13883-8\_81},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BuckleyS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DebrayFS84,
  author       = {Saumya K. Debray and
                  Ariel J. Frank and
                  Scott A. Smolka},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {On the Existence and Construction of Robust Communication Protocals
                  for Unreliable Channels},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {136--151},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_69},
  doi          = {10.1007/3-540-13883-8\_69},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/DebrayFS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Gosh84,
  author       = {Subir Kumar Ghosh},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {A Linear-Time Algorithm for Determining the Intersection Type of Two
                  Star Polygons},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {317--330},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_80},
  doi          = {10.1007/3-540-13883-8\_80},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Gosh84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GoswamiP84,
  author       = {Asis K. Goswami and
                  Lalit M. Patnaik},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Functional Programming System Revisited},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {44--59},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_64},
  doi          = {10.1007/3-540-13883-8\_64},
  timestamp    = {Thu, 19 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GoswamiP84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GuptaB84,
  author       = {P. Gupta and
                  G. P. Bhattacharjee},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {An Efficient Algorithm for Random Sampling without Replacement},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {435--465},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_89},
  doi          = {10.1007/3-540-13883-8\_89},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/GuptaB84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Jajodia84,
  author       = {Sushil Jajodia},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Universal and Representative Instances Using Unmarked Nulls},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {367--378},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_83},
  doi          = {10.1007/3-540-13883-8\_83},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Jajodia84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KaneS84,
  author       = {Rajiv Kane and
                  Sartaj Sahni},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {{VLSI} Systems For Design Rule Checks},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {259--278},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_77},
  doi          = {10.1007/3-540-13883-8\_77},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KaneS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Kowalski84,
  author       = {Robert A. Kowalski},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Logic for Knowledge Representation},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_61},
  doi          = {10.1007/3-540-13883-8\_61},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Kowalski84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Krithivasan84,
  author       = {Kamala Krithivasan},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Treating Terminals as Function Values of Time},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {188--201},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_73},
  doi          = {10.1007/3-540-13883-8\_73},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Krithivasan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LakshmananCM84,
  author       = {V. S. Lakshmanan and
                  N. Chandrasekharan and
                  C. E. Veni Madhavan},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Recognition and Top-Down Generation of beta-Acyclic Database Schemes},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {344--366},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_82},
  doi          = {10.1007/3-540-13883-8\_82},
  timestamp    = {Mon, 29 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/LakshmananCM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LevcopoulosL84,
  author       = {Christos Levcopoulos and
                  Andrzej Lingas},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Bounds on the Length of Convex Partitions of Polygons},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {279--295},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_78},
  doi          = {10.1007/3-540-13883-8\_78},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/LevcopoulosL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Madhavan84,
  author       = {C. E. Veni Madhavan},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Approximation Algorithm for Maximum Independent Set in Planar Tiangle-Free
                  Graphs},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {381--392},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_86},
  doi          = {10.1007/3-540-13883-8\_86},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Madhavan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MaibaumSV84,
  author       = {T. S. E. Maibaum and
                  M. R. Sadler and
                  Paulo A. S. Veloso},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Logical Specification and Implementation},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {13--30},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_62},
  doi          = {10.1007/3-540-13883-8\_62},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MaibaumSV84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MyersC84,
  author       = {Thomas J. Myers and
                  A. Toni Cohen},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Models and Transformations for Nondeterministic Extensions of Functional
                  Programming},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {60--88},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_65},
  doi          = {10.1007/3-540-13883-8\_65},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MyersC84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Natarajan84,
  author       = {N. Natarajan},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {A Distributed Algorithm for Detecting Communication Deadlocks},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {119--135},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_68},
  doi          = {10.1007/3-540-13883-8\_68},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Natarajan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/NielsenT84,
  author       = {Mogens Nielsen and
                  P. S. Thiagarajan},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Degrees of Non-Determinism and Concurrency: {A} Petri Net View},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {89--117},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_66},
  doi          = {10.1007/3-540-13883-8\_66},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/NielsenT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PalB84,
  author       = {Asim K. Pal and
                  A. Bagchi},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {On the Mean Weight Balance Factor of Binary Trees},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {419--434},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_88},
  doi          = {10.1007/3-540-13883-8\_88},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PalB84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Parikh84,
  author       = {Rohit Parikh},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Logics of Knowledge, Games and Dynamic Logic},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {202--222},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_74},
  doi          = {10.1007/3-540-13883-8\_74},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Parikh84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Poizat84,
  author       = {Bruno Poizat},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Generic Oracles (Abstract)},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {380},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_85},
  doi          = {10.1007/3-540-13883-8\_85},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Poizat84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Ramakrishnan84,
  author       = {I. V. Ramakrishnan},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {On Mapping Cube Graphs onto {VLSI} Arrays},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {296--316},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_79},
  doi          = {10.1007/3-540-13883-8\_79},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Ramakrishnan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RamanujamS84,
  author       = {Ramaswamy Ramanujam and
                  R. K. Shyamasundar},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Process Specification of Logic Programs},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {31--43},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_63},
  doi          = {10.1007/3-540-13883-8\_63},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/RamanujamS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Regnier84,
  author       = {Mireille R{\'{e}}gnier},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Grid File Algorithms: An Analysis in the Biased Case},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {393--418},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_87},
  doi          = {10.1007/3-540-13883-8\_87},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Regnier84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SantisS84,
  author       = {F. de Santis and
                  Maria I. Sessa},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {On Some Computational Problems Related to Data Base Coding (Abstract)},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {379},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_84},
  doi          = {10.1007/3-540-13883-8\_84},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/SantisS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Studer84,
  author       = {Rudi Studer},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Abstraction Concepts for Modeling Screen Oriented Dialogue Interfaces},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {241--258},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_76},
  doi          = {10.1007/3-540-13883-8\_76},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Studer84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/TaubenfeldF84,
  author       = {Gadi Taubenfeld and
                  Nissim Francez},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Proof Rules for Communication Abstractions (Abstract)},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {118},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_67},
  doi          = {10.1007/3-540-13883-8\_67},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/TaubenfeldF84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Zachos84,
  author       = {Stathis Zachos},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {A New Characterization of {BPP}},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {179--187},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_72},
  doi          = {10.1007/3-540-13883-8\_72},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/Zachos84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1984,
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8},
  doi          = {10.1007/3-540-13883-8},
  isbn         = {3-540-13883-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/1984.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics