fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Formal Methods for Concurrency

Formal Methods for Concurrency

by Clive Fencott

Computer multitaskingParallel processing (Electronic computers)Database managementMathematical modelsDistributed databases
0.0
Open Library
Open Library

Themes & subjects

Computer multitaskingParallel processing (Electronic computers)Database managementMathematical modelsDistributed databasesComputer networks

Author

Clive Fencott

Pages

320

Read time

≈ 8h

Editions

2

Language

English

Publisher

Coriolis Group

ISBN

9781850321736

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Task Scheduling for Parallel Systems

Computer multitasking · Parallel processing (Electronic computers)

Task Scheduling for Parallel Systems

Oliver Sinnen

2006

Parallel And Concurrent Programming In Haskell

haskell · programming

Parallel And Concurrent Programming In Haskell

Simon Marlow

2013

Modeling Embedded Systems and SoC's

Data processing · Design and construction

Modeling Embedded Systems and SoC's

Axel Jantsch

2003

Concurrent Programming

Parallel programming (Computer science) · Electronic data processing

Concurrent Programming

Michel Raynal

2012

Reactive Messaging Patterns with the Actor Model

Programming languages (electronic computers) · Operating systems (computers)

Reactive Messaging Patterns with the Actor Model

Vaughn Vernon

2015

CONCUR 2000 - Concurrency Theory

Linguagem de programacao (outras) · Parallelisme (Informatique)

CONCUR 2000 - Concurrency Theory

Catuscia Palamidessi

2000

Formal Models of Communicating Systems

Computer multitasking · Electronic data processing

Formal Models of Communicating Systems

Benedikt Bollig

2006

Power computing

Intel 80386 (Microprocessor) · Programming

Power computing

Winn L. Rosch

1988

Understanding and Using the Sp Switch

Parallel processing (Electronic computers) · Handbooks, manuals

Understanding and Using the Sp Switch

IBM Redbooks

1999

Understanding DESQview

DESQview · Memory management (Computer science)

Understanding DESQview

Rick Altman

1991

Programming with threads

Synchronization · Multitasking (Computer science)

Programming with threads

Steve Kleiman

1996

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Parallel Processing and Applied Mathematics

Programming Techniques · Software engineering

Parallel Processing and Applied Mathematics

Roman Wyrzykowski

2003

Genetic and Evolutionary Computing

Artificial intelligence · Computational intelligence

Genetic and Evolutionary Computing

Jeng-Shyang Pan

2013

Parallel Computing Technologies

Computer simulation · Computer science

Parallel Computing Technologies

Victor Malyshkin

2003

Algorithms and Architectures for Parallel Processing

Parallel processing (electronic computers) · Computer algorithms

Algorithms and Architectures for Parallel Processing

Sheng Wen

2015

Perceptrons

Data processing · Geometry

Perceptrons

Marvin Minsky

1969

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Software engineering · Engineering

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Roger Y. Lee

2010