Cover of Control flow semantics

Mark as

Control flow semantics

by J. W. de Bakker

Buy this book Review

See on goodreads | librarything

More by J. W. de Bakker

Cover of A Decade of concurrency

Formal definition of progra...

Formal definition of progra...

Cover of Foundations of computer science

Cover of Foundations of computer science II

Cover of Foundations of computer science III

Cover of Foundations of computer science IV

Cover of Languages for parallel architectures

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

Cover of Logic programming languages

Cover of Mathematical theory of program correctness

Cover of Mathematics and computer science

On convex sublattices of di...

Cover of PARLE

Cover of PARLE

Recursive procedures

Cover of Stepwise refinement of distributed systems

Cover of Ten years of concurrency semantics

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment