Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3 by

Lecture Notes in Computer Science

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands, May 30 - June 3

718 pages paperback

1 edition

nonfiction computer science
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

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...

Show More

Community Reviews

Loading...

Content Warnings

Loading...