The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection (Englisch)
- Neue Suche nach: Evangelista, Sami
- Neue Suche nach: Westergaard, Michael
- Neue Suche nach: Kristensen, Lars M.
- Neue Suche nach: Jensen, Kurt
- Neue Suche nach: Billington, Jonathan
- Neue Suche nach: Koutny, Maciej
- Neue Suche nach: Evangelista, Sami
- Neue Suche nach: Westergaard, Michael
- Neue Suche nach: Kristensen, Lars M.
In:
Transactions on Petri Nets and Other Models of Concurrency III
;
Kapitel: 8
;
189-215
;
2009
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
-
Beteiligte:Jensen, Kurt ( Herausgeber:in ) / Billington, Jonathan ( Herausgeber:in ) / Koutny, Maciej ( Herausgeber:in ) / Evangelista, Sami ( Autor:in ) / Westergaard, Michael ( Autor:in ) / Kristensen, Lars M. ( Autor:in )
-
Erschienen in:Transactions on Petri Nets and Other Models of Concurrency III ; Kapitel: 8 ; 189-215Lecture Notes in Computer Science ; 5800 ; 189-215
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:27 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Designing a Workflow System Using Coloured Petri NetsRussell, Nick C. / van der Aalst, Wil M. P. / ter Hofstede, Arthur H. M. et al. | 2009
- 2
-
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow SystemsMans, Ronny S. / van der Aalst, Wil M. P. / Russell, Nick C. / Bakker, Piet J. M. / Moleman, Arnold J. / Lassen, Kristian B. / Jørgensen, Jens B. et al. | 2009
- 3
-
Soundness of Workflow Nets with Reset Arcsvan der Aalst, Wil M. P. / van Hee, Kees M. / ter Hofstede, Arthur H. M. / Sidorova, Natalia / Verbeek, H. M. W. / Voorhoeve, Marc / Wynn, Moe T. et al. | 2009
- 4
-
Parameterised Coloured Petri Net Channel ModelsBillington, Jonathan / Vanit-Anunchai, Somsak / Gallasch, Guy E. et al. | 2009
- 5
-
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing ProtocolBillington, Jonathan / Yuan, Cong et al. | 2009
- 6
-
Modelling Mobile IP with Mobile Petri NetsLakos, Charles et al. | 2009
- 7
-
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial ExampleBonnefoi, Fabien / Choppy, Christine / Kordon, Fabrice et al. | 2009
- 8
-
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate DetectionEvangelista, Sami / Westergaard, Michael / Kristensen, Lars M. et al. | 2009
- 9
-
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial LanguageBergenthum, Robin / Desel, Jörg / Mauser, Sebastian et al. | 2009
- 10
-
On Bisimulation Theory in Linear Higher-Order π-CalculusXu, Xian et al. | 2009