Pages that link to "Item:Q1143164"
From MaRDI portal
The following pages link to The temporal semantics of concurrent programs (Q1143164):
Displaying 50 items.
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Bounded semantics (Q483292) (← links)
- Temporal logic programming (Q582280) (← links)
- The language of social software (Q625718) (← links)
- On the computational complexity of behavioral description-based web service composition (Q650907) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← links)
- Game-theoretic simulation checking tool (Q764005) (← links)
- The temporal logic of branching time (Q789895) (← links)
- A generalized nexttime operator in temporal logic (Q800722) (← links)
- Checking timed Büchi automata emptiness efficiently (Q816203) (← links)
- Feature interaction detection by pairwise analysis of LTL properties -- A case study (Q853722) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435) (← links)
- Embedding finite automata within regular expressions (Q947783) (← links)
- Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178) (← links)
- Test generation from P systems using model checking (Q987969) (← links)
- Calculi for synchrony and asynchrony (Q1050111) (← links)
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534) (← links)
- Non-standard algorithmic and dynamic logic (Q1077159) (← links)
- The complementation problem for Büchi automata with applications to temporal logic (Q1088653) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- The power of temporal proofs (Q1118578) (← links)
- Concurrent systems and inevitability (Q1122355) (← links)
- Weak second order characterizations of various program verification systems (Q1124311) (← links)
- Parallel algorithms for the single source shortest path problem (Q1162156) (← links)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- A logic for reasoning about time and reliability (Q1343864) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- On relative and probabilistic finite counterability (Q1742987) (← links)
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs? (Q1825630) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- Timed network games (Q2112796) (← links)
- Back to the future: a fresh look at linear temporal logic (Q2117656) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- Alternative semantics for temporal logics (Q2265815) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
