Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Name: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
SKU: 2823950
Price: 271.99 AUD
Availability: InStock

School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$271.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $68.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 8-18 July using International Courier

Description

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.

Release date Australia

March 30th, 1989

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Contributors

Edited by Grzegorz Rozenberg
Edited by Jacobus W. de Bakker
Edited by Willem-Paul De Roever

Illustrations

X, 718 p.

Pages

718

Series

Lecture Notes in Computer Science,

Dimensions

156x234x36

ISBN-13

9783540510802

Product ID

2823950

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*