- Sprache
-
Deutsch
- Identifier
-
1189071452
- Reihe
-
Informatik-Berichte; Ausgabe 191, 2005
Beteiligte Personen und Organisationen
- DOI
-
10.18452/2443
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (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