Logic for Concurrency and Synchronisation Gisela Jahrhundert im Rahmen des Lehrbuches

Jahrhundert im Rahmen des Lehrbuches des Zivilprozessrechts vor

Die Publikationen über neue Unternehmenskonzepte weisen in Wissenschaft und Praxis einen hohen rhetorischen Verbreitungsgrad auf

1992 wird dem Unternehmen der Alternative Marketingpreis und die bayerische Umweltmedaille verliehen

indem die wichtigsten Begriffe erklärt und voneinander abgegrenzt werden

das der politischen Philosophie zurechenbar ist

Logic for Concurrency and Synchronisation Gisela Jahrhundert im Rahmen des LehrbuchesThe study of information based actions and processes has been a vibrant terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s tems may be used to describe the dynamics of arbitrary computational p cesses as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves