|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 159 | Thanasis Hadzilacos, Vassos Hadzilacos |
Transaction Synchronisation in Object Bases.  |
PODS  |
1988 |
DBLP DOI BibTeX RDF |
|
| 59 | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve |
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability |
| 42 | Lydia Blümel, Matthias Thimm |
A Ranking Semantics for Abstract Argumentation Based on Serialisability. |
COMMA |
2022 |
DBLP DOI BibTeX RDF |
|
| 42 | Alan D. Fekete |
Serialisability and Snapshhot Isolation. |
Australasian Database Conference |
1999 |
DBLP BibTeX RDF |
|
| 33 | Lui Sha, John P. Lehoczky, E. Douglas Jensen |
Modular Concurrency Control and Failure Recovery. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery |
| 26 | Gary Cleveland, Mike Barley |
An Approach to Safe Continuous Planning. |
PRIMA |
2004 |
DBLP DOI BibTeX RDF |
|
| 26 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license