• See large image

  CONCUR '95: 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 - Proceedings (Concur '95 Concurrency Theory) (Paperback) Edited by Insup Lee, Edited by Scott Smolka

  

  $79.42 - Save $1.13 (1%) - RRP $80.55 Free delivery worldwide (to United States and
  all these other countries) Usually dispatched within 48 hours Add to basket | Add to wishlist |

  Short Description for CONCUR '95The aim of this proceedings volume is to communicate ongoing research in the field of concurrency theory. Papers include discussions on process algebras, model checking, mobile processes, process theory, true concurrency, probabilistic automata, real-time systems, and testing semantics.
  Full description

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Published: 09 September 1995
  • Format: Paperback 557 pages
  • See: Full bibliographic data
  • Categories: Operating Systems | Computer Programming / Software Development | Programming & Scripting Languages: General | Computer Science | Mathematical Theory Of Computation | Computer Architecture & Logic Design
  • ISBN 13: 9783540602187 ISBN 10: 3540602186

• CONCUR '95

  

  Add to basket $79.42 - Save $1.13 (1%) - RRP $80.55

Full description for CONCUR '95

• This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.