Research Catalog

Formal models of communicating systems : languages, automata, and monadic second-order logic

Title
Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.
Author
Bollig, Benedikt
Publication
Berlin ; New York : Springer, [2006], ©2006.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.9.D5 B65 2006gOff-site

Holdings

Details

Description
ix, 181 pages : illustrations; 24 cm
Subject
  • Electronic data processing > Distributed processing
  • Computer multitasking
Note
  • Originally presented as the author's thesis (doctoral-- Aachen, 2005) under the title: Automata and logics for message sequence charts.
Bibliography (note)
  • Includes bibliographical references (p. [165]-171) and index.
ISBN
  • 3540329226 (hd.bd.)
  • 9783540329220 (hd.bd.)
LCCN
  • 2006928323
  • 9783540329220
OCLC
  • ocm71747278
  • SCSB-5303493
Owning Institutions
Columbia University Libraries