Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Understanding concurrent systems / A.W. Roscoe

  • Linear

  • MARC

  •  
    QA76.58
    .R673 2010
     
    922637 (Shelf),BOK
    Roscoe, A. W.

         Understanding concurrent systems. - London , 2010.

         xviii, 527 p. : ill. ; 25 cm Texts in computer science.
         Building a simple sequential process -- Understanding CSP -- Parallel operators -- CSP case studies -- Hiding and renaming -- Beyond traces -- Further operators -- Using FDR -- Operational semantics -- Denotational semantics and behavioural models -- Finite observation models -- Infinite-behaviour models -- The algebra of CSP -- Timed systems 1 : tock-CSP -- Timed systems 2 : discrete timed CSP -- More about FDR -- State explosion and parameterised verification -- Shared-variable programs -- Understanding shared-variable concurrency -- Priority and mobility.

         ISBN 9781848822573 (hbk.)
         .-ISBN 184882257X (hbk.).
         
         1. Parallel processing (Electronic computers) 2. Sequential processing (Computer science).I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    922637ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top