Suchergebnisse - Best, Eike
- Treffer 1 – 20 von 58
- Zur nächsten Seite
-
1Petri net algebraVeröffentlicht 2001Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
2Relational semantics revisitedVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3Semantik: Theorie sequentieller und paralleler ProgrammierungVeröffentlicht 1995Signatur: Wird geladen …Online lesen
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
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 … -
7Generalised composition operations for high level petri netsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Recursion and Petri netsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Reducing k-safe Petri nets to Pomset-equivalent 1-safe Petri netsVeröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Semantik: Theorie sequentieller und paralleler ProgrammierungVeröffentlicht 1995Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
11Nonsequential processes: a Petri net viewVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12Concurrent behaviour: sequences, processes and programming languagesVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Concurrent systems and processes: final report on the foundational part of the project BEGRUNDVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14FEDS-BenutzerhandbuchVeröffentlicht 1975Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Petri Net Primer: A Compendium on the Core Model, Analysis, and SynthesisVeröffentlicht 2024Signatur: Wird geladen …Online lesen
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
16Persistent systems with unique minimal cyclic parikh vectorsVeröffentlicht 2014Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …Buch Wird geladen … -
17Separability in persistent Petri Nets: BerichtVeröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18The box algebra = Petri nets + process expressionsVeröffentlicht 1999Signatur: 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 …