@BOOK{ Book!D - 89975269,
AUTHOR = " J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.",
TITLE = "Linear time, branching time, and partial order in logics and models for concurrency :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)",
URL = "/book/89975269/Linear-time-branching-time-and-partial-order-in/"}