Suchergebnisse - Best, Eike
- Treffer 1 – 20 von 58
- Zur nächsten Seite
-
1Petri net algebraVeröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
2Relational semantics revisitedVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Semantik: Theorie sequentieller und paralleler ProgrammierungVeröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
4Kausale Semantik nichtsequentieller ProgrammeVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
5Relational semantics of concurrent programs: (with some applications)Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Systematic detection of exception occurrencesVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Petri Net Primer: A Compendium on the Core Model, Analysis, and SynthesisVeröffentlicht 2024Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
8Persistent systems with unique minimal cyclic parikh vectorsVeröffentlicht 2014Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
9Separability in persistent Petri Nets: BerichtVeröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10The box algebra = Petri nets + process expressionsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Generalised composition operations for high level petri netsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Recursion and Petri netsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Reducing k-safe Petri nets to Pomset-equivalent 1-safe Petri netsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Semantik: Theorie sequentieller und paralleler ProgrammierungVeröffentlicht 1995Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
15Nonsequential processes: a Petri net viewVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Concurrent behaviour: sequences, processes and programming languagesVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Concurrent systems and processes: final report on the foundational part of the project BEGRUNDVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18FEDS-BenutzerhandbuchVeröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Coloured nets with curryVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Operational semantics for the Petri Box CalculusVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …