Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

Szerző: Roberto Gorrieri

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

30 678 Ft

This book deals with the problem of finding suitable languages that can represent specific classes o...

Információk a könyvről

Szerző

Roberto Gorrieri

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

302

EAN

9783319856940

Enbook ID

20094144

Kiadó

Springer International Publishing AG

Súly

4803

Méretek

155 x 235 x 18

Teljes leírás

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Process Algebras for Petri Nets

The Alphabetization of Distributed Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták