Monografie

Petri Net Based Verification of Distributed Algorithms

to connected objects

Language: Englisch

Identifier: 1189068885

Series: Informatik-Berichte; Ausgabe 63, 1996

Subject

Informatik

Contributor

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

DOI: 10.18452/2492

URN: http://nbn-resolving.org/urn:nbn:de:kobv:11-100190879

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 26.01.2023, 1:52 PM CET

Data provider

Deutsche Nationalbibliothek

Show original at data provider

Object type

Monografie

Associated

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

Other Objects (12)

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

Integrating Distributed Algorithms into Distributed Systems

Monografie

DAWN

Monografie

Distributed Abstract State Machines and Their Expressive Power

Monografie

Flexibility in Algebraic Nets

Monografie

The Dimensions of Petri Nets: The Petri Net Cube

Monografie

Abstract State Machines for the Classroom

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Database Theory - Petri Net Theory - Workflow Theory

Monografie

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

Monografie

An Operating Guideline Approach to the SOA

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

Integrating Distributed Algorithms into Distributed Systems

Monografie

DAWN

Monografie

Distributed Abstract State Machines and Their Expressive Power

Monografie

Flexibility in Algebraic Nets

Monografie

The Dimensions of Petri Nets: The Petri Net Cube

Monografie

Abstract State Machines for the Classroom

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Database Theory - Petri Net Theory - Workflow Theory

Monografie

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

Monografie

An Operating Guideline Approach to the SOA

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

Integrating Distributed Algorithms into Distributed Systems

Monografie

DAWN

Monografie

Distributed Abstract State Machines and Their Expressive Power

Monografie

Flexibility in Algebraic Nets

Monografie

The Dimensions of Petri Nets: The Petri Net Cube

Monografie

Abstract State Machines for the Classroom

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Database Theory - Petri Net Theory - Workflow Theory

Monografie

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

Monografie

An Operating Guideline Approach to the SOA

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Create user account

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

* I have read the terms of use and the privacy policy for the collection of personal data and accept them.

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Petri Net Based Verification of Distributed Algorithms

Object Details

References and Relationships

Classification and Topics

Contributors, Location and Time

Further information

Data provider

Object type

Associated

Other Objects (12)

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Integrating Distributed Algorithms into Distributed Systems

DAWN

Distributed Abstract State Machines and Their Expressive Power

Flexibility in Algebraic Nets

The Dimensions of Petri Nets: The Petri Net Cube

Abstract State Machines for the Classroom

Hazard Detection in a GALS Wrapper: a Case study

Database Theory - Petri Net Theory - Workflow Theory

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

An Operating Guideline Approach to the SOA

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Integrating Distributed Algorithms into Distributed Systems

DAWN

Distributed Abstract State Machines and Their Expressive Power

Flexibility in Algebraic Nets

The Dimensions of Petri Nets: The Petri Net Cube

Abstract State Machines for the Classroom

Hazard Detection in a GALS Wrapper: a Case study

Database Theory - Petri Net Theory - Workflow Theory

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

An Operating Guideline Approach to the SOA

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Integrating Distributed Algorithms into Distributed Systems

DAWN

Distributed Abstract State Machines and Their Expressive Power

Flexibility in Algebraic Nets

The Dimensions of Petri Nets: The Petri Net Cube

Abstract State Machines for the Classroom

Hazard Detection in a GALS Wrapper: a Case study

Database Theory - Petri Net Theory - Workflow Theory

Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen

An Operating Guideline Approach to the SOA

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Related objects