Flick Club LogoFlick Club Logo

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

Grzegorz Rozenberg

J. W. de Bakker

Willem-Paul de Roever

W.-P. de Roever

Parallel Processing (Electronic Computers) Distributed Processing Logique Temporelle