Repeated detection of conjunctive predicates in distributed executions (Q1944920): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Distributed algorithm to detect strong conjunctive predicates / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data-stream-based global event monitoring using pairwise interactions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Temporal interactions of intervals in distributed systems. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributed Computing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Time, clocks, and the ordering of events in a distributed system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal Approaches to Software Testing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal Verification of Simulation Traces Using Computation Slicing / rank | |||
Normal rank |
Latest revision as of 08:27, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Repeated detection of conjunctive predicates in distributed executions |
scientific article |
Statements
Repeated detection of conjunctive predicates in distributed executions (English)
0 references
28 March 2013
0 references
distributed computing
0 references
predicate detection
0 references
intervals
0 references
monitoring
0 references
causality
0 references
global state
0 references