Monografie

Petri Net Based Verification of Distributed Algorithms

zu Verbundenen Objekten

Sprache
Englisch
Identifier
1189068885

Reihe
Informatik-Berichte; Ausgabe 63, 1996

Thema
Informatik

Beteiligte Personen und Organisationen
Kindler, Ekkart
Reisig, Wolfgang
Völzer, Hagen
Walter, Rolf
Humboldt-Universität zu Berlin

DOI
10.18452/2492
URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:52 MEZ

Datenpartner

Deutsche Nationalbibliothek
Original beim Datenpartner anzeigen

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

DAWN

Monografie

DAWN

Integrating Distributed Algorithms into Distributed Systems

Monografie

Integrating Distributed Algorithms into Distributed Systems

Distributed Abstract State Machines and Their Expressive Power

Monografie

Distributed Abstract State Machines and Their Expressive Power

Flexibility in Algebraic Nets

Monografie

Flexibility in Algebraic Nets

The Dimensions of Petri Nets: The Petri Net Cube

Monografie

The Dimensions of Petri Nets: The Petri Net Cube

Abstract State Machines for the Classroom

Monografie

Abstract State Machines for the Classroom

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Database Theory - Petri Net Theory - Workflow Theory

Monografie

Database Theory - Petri Net Theory - Workflow Theory

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

Monografie

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

An Operating Guideline Approach to the SOA

Monografie

An Operating Guideline Approach to the SOA

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Verbundene Objekte