Produktbild
David S. Karcher

Event structures with higher-order dynamics

Buch

Event Structure were introduced in 1979 [18] as a formal model to connect the theory of Petri nets and domain theory. Originally they consisted of atomic non-repeatable events, a binary causal dependency relation, and a binary conflict relation between those events. For a long time various extensions of the original formalism were used to define semantics for other structures such as classes of Petri nets and process calculi. In this thesis the Event Structures (ESs) are considered solely as a declarative modelling tool than as a formalism to define semantics for other structures. In order to model highly dynamic real-world processes (i.e. pr… Mehr

CHF 16.90

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-3-7983-2995-9
  • EAN: 9783798329959
  • Produktnummer: 30383981
  • Verlag: Universitätsverlag TU Ber
  • Sprache: Deutsch
  • Erscheinungsjahr: 2019
  • Seitenangabe: 125 S.
  • Masse: H21.1 cm x B14.8 cm x D1.2 cm 278 g
  • Reihenbandnummer: 10
  • Gewicht: 278

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.