Skip to main content
SpringerLink
Log in
Book cover

Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Wolfgang Thomas

    1. RWTH Aachen, Lehrstuhl für Informatik VII, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1578)

Included in the following conference series:

Conference proceedings info: FoSSaCS 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Probabilistic Temporal Logics via the Modal Mu-Calculus

    • Murali Narasimha, Rance Cleaveland, Purush Iyer
    Pages 288-305

  2. A π-calculus Process Semantics of Concurrent Idealised ALGOL

    • Christine Röckl, Davide Sangiorgi
    Pages 306-321

  3. Back Matter

    Pages 323-323
    Download chapter PDF
Back to top

Other volumes

  1. Foundations of Software Science and Computation Structures

Keywords

Editors and Affiliations

  • RWTH Aachen, Lehrstuhl für Informatik VII, Aachen, Germany

    Wolfgang Thomas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation