Kniha Process Algebras for Petri Nets Roberto Gorrieri

Process Algebras for Petri Nets

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
1 830
This book deals with the problem of finding suitable languages that can represent specific classes o...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2017
Stránek
302
EAN
9783319555584
ISBN
3319555588
Enbook ID
15869852
Hmotnost
5974
Rozměry
155 x 235 x 24

Kompletní popis

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.

Mohlo by vás zajímat

1 387
259
220

Machina Carnis

Dorothy M. Needham
1 698

Lost Expedition

SYLVESTER PEER
534
866

A Spark of Blue Flame

Sandra Stanley-Stone
554

American Places

Wallace Earle Stegner
327
1 698

Winter People

JENNIFER MCMAHON
309

Zákaznicí kteří koupili tuto knihu koupili také

L'Eta Dei Maestri

Mirella Schino
1 037
341

Kreta

Karl Hoeck
567