Failure-divergence semantics and refinement of long running transactions (Q714877): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2012.04.040 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2012.04.040 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2072325835 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods for Open Object-Based Distributed Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the expressive power of process interruption and compensation / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2005 – Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4673433 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theoretical foundations for compensations in flow composition languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coordination Models and Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Communicating Sequential Processes. The First 25 Years / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of contracts for web services / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Extended cCSP with Stable Failures Semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: UTP Semantics for Web Services / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Expressive Power of Primitives for Compensation Handling / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of Software Science and Computational Structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Calculus for Orchestration of Web Services / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transformation of programs for fault-tolerance / rank
 
Normal rank
Property / cites work
 
Property / cites work: PVS Embedding of cCSP Semantic Models and Their Relationship / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Three Platonic Models of Divergence-Strict CSP / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2012.04.040 / rank
 
Normal rank

Latest revision as of 01:44, 10 December 2024

scientific article
Language Label Description Also known as
English
Failure-divergence semantics and refinement of long running transactions
scientific article

    Statements

    Failure-divergence semantics and refinement of long running transactions (English)
    0 references
    0 references
    0 references
    0 references
    11 October 2012
    0 references
    compensation
    0 references
    deadlock
    0 references
    non-determinism
    0 references
    failure-divergence model
    0 references
    livelock
    0 references
    refinement
    0 references
    recursion
    0 references
    0 references
    0 references
    0 references

    Identifiers