Monografie

An Operating Guideline Approach to the SOA

to connected objects

Language: Deutsch

Identifier: 1189071452

Series: Informatik-Berichte; Ausgabe 191, 2005

Contributor

Massuthe, Peter
Reisig, Wolfgang
Wolf, Karsten

DOI: 10.18452/2443

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

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

Last update: 26.01.2023, 1:53 PM CET

Data provider

Deutsche Nationalbibliothek

Show original at data provider

Object type

Monografie

Associated

Other Objects (12)

Monografie

Verteilte Geschäftsprozesse modellieren und analysieren

Monografie

Abstract State Machines for the Classroom

Monografie

Distributed Abstract State Machines and Their Expressive Power

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Matching Nondeterministic Services with Operating Guidelines

Monografie

Operating Guidelines - an Alternative to Public View

Monografie

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Monografie

Petri Net Based Verification of Distributed Algorithms

Monografie

Operating Guidelines for Finite-State Services

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

DAWN

Monografie

Verteilte Geschäftsprozesse modellieren und analysieren

Monografie

Abstract State Machines for the Classroom

Monografie

Distributed Abstract State Machines and Their Expressive Power

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Matching Nondeterministic Services with Operating Guidelines

Monografie

Operating Guidelines - an Alternative to Public View

Monografie

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Monografie

Petri Net Based Verification of Distributed Algorithms

Monografie

Operating Guidelines for Finite-State Services

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

DAWN

Monografie

Verteilte Geschäftsprozesse modellieren und analysieren

Monografie

Abstract State Machines for the Classroom

Monografie

Distributed Abstract State Machines and Their Expressive Power

Monografie

Hazard Detection in a GALS Wrapper: a Case study

Monografie

Matching Nondeterministic Services with Operating Guidelines

Monografie

Operating Guidelines - an Alternative to Public View

Monografie

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Monografie

Petri Net Based Verification of Distributed Algorithms

Monografie

Operating Guidelines for Finite-State Services

Monografie

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Monografie

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

Monografie

DAWN

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. See newsletter subscription info.

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.

The culture search engine

An Operating Guideline Approach to the SOA

Object Details

References and Relationships

Contributors, Location and Time

Further information

Data provider

Object type

Associated

Other Objects (12)

Verteilte Geschäftsprozesse modellieren und analysieren

Abstract State Machines for the Classroom

Distributed Abstract State Machines and Their Expressive Power

Hazard Detection in a GALS Wrapper: a Case study

Matching Nondeterministic Services with Operating Guidelines

Operating Guidelines - an Alternative to Public View

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Petri Net Based Verification of Distributed Algorithms

Operating Guidelines for Finite-State Services

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

DAWN

Verteilte Geschäftsprozesse modellieren und analysieren

Abstract State Machines for the Classroom

Distributed Abstract State Machines and Their Expressive Power

Hazard Detection in a GALS Wrapper: a Case study

Matching Nondeterministic Services with Operating Guidelines

Operating Guidelines - an Alternative to Public View

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Petri Net Based Verification of Distributed Algorithms

Operating Guidelines for Finite-State Services

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

DAWN

Verteilte Geschäftsprozesse modellieren und analysieren

Abstract State Machines for the Classroom

Distributed Abstract State Machines and Their Expressive Power

Hazard Detection in a GALS Wrapper: a Case study

Matching Nondeterministic Services with Operating Guidelines

Operating Guidelines - an Alternative to Public View

An Algorithm for Matching Nondeterministic Services with Operating Guidelines

Petri Net Based Verification of Distributed Algorithms

Operating Guidelines for Finite-State Services

Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung

Petrinetzmodelle zur Verifikation Verteilter Algorithmen

DAWN

Related objects