Skip to main content

Logic for Concurrency and Synchronisation

0.0
Proof theoryModalityParallel programming
Browse all genres
ISBN
9789401740005

Logic for Concurrency and Synchronisation is a proof theory, modality book by R.J. De Queiroz.

Discover Logic for Concurrency and Synchronisation by R.J. De Queiroz, proof theory.

About the Author

R.J. De Queiroz is the author of Logic for Concurrency and Synchronisation. Browse their full catalog on Booklogr.

Editions & Formats

Reviews

No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.

Sign in Sign in to write a review

Frequently Asked Questions

What genre is Logic for Concurrency and Synchronisation?+

Logic for Concurrency and Synchronisation is a Proof theory, Modality, Parallel programming book.

Who wrote Logic for Concurrency and Synchronisation?+

Logic for Concurrency and Synchronisation was written by R.J. De Queiroz.