A Trace Semantics for Long−Running Transactions

A Trace Semantics for Long−Running Transactions

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Butler, M, Hoare, C, Ferreira, C
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2004

Míreanna comhchosúla

A Semantics of Compensations for Long−Running Transactions
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

Compensable Transactions
de réir: Hoare, T
Foilsithe / Cruthaithe: (2008)

Examining the Long-Run and Short-Run Effects of Technical and Financial Factors on Bitcoin Blockchain Network Transaction Fees
de réir: Amin Rostami, et al.
Foilsithe / Cruthaithe: (2024-12-01)

MATH MODEL OF RUNNING INDEX FOR EVALUATION AND CONTROL OF SPECIFIC EFFICIENCY AND TRACING THE FATIGUE LEVEL IN LONG-DISTANCE RUNNING
de réir: Mihail Konchev, et al.
Foilsithe / Cruthaithe: (2022-07-01)

A Model for Programming Language Semantics
de réir: Hoare, C
Foilsithe / Cruthaithe: (1975)

On Termination of Transactions over Semantic Document Models
de réir: A.V. Mantsivoda, et al.
Foilsithe / Cruthaithe: (2020-03-01)

POS-originated transaction traces as a source of contextual information for risk management systems in EFT transactions
de réir: Albert Sitek, et al.
Foilsithe / Cruthaithe: (2018-04-01)

A Runs−and−Systems Semantics for Logics of Announcement
de réir: Pucella, R, et al.
Foilsithe / Cruthaithe: (2009)

A Trace Model for Pointers and Objects
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1999)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
de réir: Hoare, C
Foilsithe / Cruthaithe: (2015)

From Algebra to Operational Semantics
de réir: He, J, et al.
Foilsithe / Cruthaithe: (1993)

Categorical Semantics for Programming Languages
de réir: He, J, et al.
Foilsithe / Cruthaithe: (1989)

Specification−oriented Semantics for Communicating Processes
de réir: Olderog, E, et al.
Foilsithe / Cruthaithe: (1983)

Specification−oriented Semantics for Communicating Processes
de réir: Olderog, E, et al.
Foilsithe / Cruthaithe: (1986)

Unifying Semantics for Concurrent Programming
de réir: Hoare, T
Foilsithe / Cruthaithe: (2013)

From Algebra to Operational Semantics
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (2015)

Algebraic derivation of an operational semantics
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (2000)

Generic Trace Semantics via Coinduction
de réir: Ichiro Hasuo, et al.
Foilsithe / Cruthaithe: (2007-11-01)

A Semantics for Imprecise Exceptions
de réir: Jones, S, et al.
Foilsithe / Cruthaithe: (1999)

Tracing the Ephemeral: Mapping Young Children’s Running Games
de réir: Kate Cowan
Foilsithe / Cruthaithe: (2020-11-01)

A Reduced Semantics for Deciding Trace Equivalence
de réir: David Baelde, et al.
Foilsithe / Cruthaithe: (2017-06-01)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1974)

Macroeconomics : from short run to long run /
de réir: Banerjee, Dibyendu, author, et al.
Foilsithe / Cruthaithe: (2018)

Repeated games with long-run and short-run players
de réir: Fudenberg, Drew, et al.
Foilsithe / Cruthaithe: (2011)

Coalgebraic trace semantics via forgetful logics
de réir: Bartek Klin, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Trace and Stable Failures Semantics for CSP-Agda
de réir: Bashar Igried, et al.
Foilsithe / Cruthaithe: (2017-09-01)

Space semantic aware loss function for embedding creation in case of transaction data
de réir: Maksim Vatkin, et al.
Foilsithe / Cruthaithe: (2022-04-01)

Persuasion for the long run
de réir: Best, J, et al.
Foilsithe / Cruthaithe: (2024)

Persuasion for the Long Run
de réir: Best, J, et al.
Foilsithe / Cruthaithe: (2017)

Semantics of Nondeterminism‚ Concurrency and Communication
de réir: Francez, N, et al.
Foilsithe / Cruthaithe: (1979)

Efficiency and observability with long-run and short-run players
de réir: Fudenberg, Drew, et al.
Foilsithe / Cruthaithe: (2011)

Long-run effects of short-run stabilization policy /
de réir: Calmfors, Lars
Foilsithe / Cruthaithe: (1983)

Discriminative Lexical Semantic Segmentation with Gaps: Running the MWE Gamut
de réir: Nathan Schneider, et al.
Foilsithe / Cruthaithe: (2021-03-01)

PATH-TRACING SEMANTIC NETWORKS TO INTERPRET CHANGES IN SEMANTIC 3D CITY MODELS
de réir: S. H. Nguyen, et al.
Foilsithe / Cruthaithe: (2022-10-01)

Separation Logic Semantics for Communicating Processes
de réir: Hoare, T, et al.
Foilsithe / Cruthaithe: (2008)

The long-run effects of low inflation rates
de réir: Victoria C. Hoogenveen, et al.
Foilsithe / Cruthaithe: (2012-04-01)

The long-run effects of low inflation rates
de réir: Victoria C. Hoogenveen, et al.
Foilsithe / Cruthaithe: (2000-09-01)

The Semantic Uniformity of Traces: Evidence from Ellipsis Parallelism
de réir: Hartman, Jeremy
Foilsithe / Cruthaithe: (2011)

Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
de réir: Henning Kerstan, et al.
Foilsithe / Cruthaithe: (2013-12-01)

Trace gas transport in the 1999/2000 Arctic winter: comparison of nudged GCM runs with observations
de réir: M. K. van Aalst, et al.
Foilsithe / Cruthaithe: (2004-01-01)