• RecordNumber
    16854
  • LC Class
    QA
  • LC Number
    76.5
  • LC CutterNumber
    .L523
  • Dewey Class
    004
  • Dewey Date
    /.35
  • Title

    Linear time, branching time, and partial order in logics and models for concurrency

  • Author Statement
    J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds
  • Publication
    Springer-Verlag
  • Publication Year
    c1989
  • Collation
    viii, 713 p.: ill.; 25 cm
  • Series
    Lecture notes in computer science ; 354
  • Notes
    "Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref
  • Subject

    Parallel processing (Electronic computers),Electronic data processing- Distributed processing

  • ADDED ENTRIES
    Bakker, J. W. de (Jacobus Willem), 1939-,Roever, W.-P. de,Rozenberg, Grzegorz,School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
  • Holding Info.
    038751080
  • DocumentNumber
    24775
  • SubTitle
    : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
  • Biblography
    Includes bibliographical references
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=16854&Field=0&DTC=100