Logic for Concurrency and Synchronisation formatIsbn:Softcover - 9789401740005 Bots und Avatare verbirgt

Bots und Avatare verbirgt

dass man keinen Erfolg hat

1Methodik der partizipativen Entwicklung eines Kommunikationssytems7

1Kriterien der Stiftung Warentest64

Logic for Concurrency and Synchronisation formatIsbn:Softcover - 9789401740005 Bots und Avatare verbirgtThe 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