PARLE Parallel Architectures and Languages Europe

PARLE Parallel Architectures and Languages Europe

Current Trends in Concurrency

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

InhaltsangabeTime, logic and computation.- Process theory based on bisimulation semantics.- Branc...