@BOOK{ Book!D - 93581622,
AUTHOR = "/ edited by Ruy J.G.B. de Queiroz",
TITLE = "Logic for concurrency and synchronisation",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. ,  local",
URL = "/book/93581622/Logic-for-concurrency-and-synchronisation/"}