Pages that link to "Item:Q163528"
From MaRDI portal
The following pages link to Electronic Notes in Theoretical Computer Science (Q163528):
Displaying 50 items.
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- Contraction-free proofs and finitary games for linear logic (Q2805162) (← links)
- Twisted graph states for ancilla-driven universal quantum computation (Q2805163) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- Exploratory functions on nondeterministic strategies, up to lower bisimilarity (Q2805166) (← links)
- An algebraic account of references in game semantics (Q2805167) (← links)
- Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
- Logical semantics for stability (Q2805169) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
- Using context-sensitive rewriting for proving innermost termination of rewriting (Q2808236) (← links)
- Qualified logic programming with bivalued predicates (Q2808238) (← links)
- Methods for proving termination of rewriting-based programming languages by transformation (Q2808239) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← links)
- Relational semantics revisited (Q2810687) (← links)
- Implicit propagation in structural operational semantics (Q2810689) (← links)
- Structural operational semantics with first-order logic (Q2810690) (← links)
- Automating soundness proofs (Q2810691) (← links)
- Context for models of concurrency (Q2810953) (← links)
- Stability of multi-valued continuous consensus (Q2810955) (← links)
- A framework for component categories (Q2810956) (← links)
- The complexity of early deciding set agreement: how can topology help? (Q2810957) (← links)
- An axiomatic approach to computing the connectivity of synchronous and asynchronous systems (Q2810958) (← links)
- T-homotopy and refinement of observation. I: Introduction (Q2810959) (← links)
- Comparing topological models for concurrency (Q2810960) (← links)
- A fibration category of local pospaces (Q2810961) (← links)
- Criteria for homotopic maps to be so along monotone homotopies (Q2810962) (← links)
- Topological properties of event structures (Q2810963) (← links)
- Sheaves and geometric logic and applications to modular verification of complex systems (Q2810964) (← links)
- On the complexity of semantic self-minimization (Q2810966) (← links)
- Compositional model checking of product-form CTMCs (Q2810967) (← links)
- A semantic condition for data independence and applications in hardware verification (Q2810970) (← links)
- Refinement sensitive formal semantics of state machines with persistent choice (Q2810972) (← links)
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols (Q2810974) (← links)
- Compositional failure-based equivalence of constraint automata (Q2810975) (← links)
- Improving translation of live sequence charts to temporal logic (Q2810977) (← links)
- On CSP refinement tests that run multiple copies of a process (Q2810978) (← links)
- Counter abstraction in the CSP/FDR setting (Q2810979) (← links)
- On the relationship between Boolean and fuzzy cellular automata (Q2811945) (← links)
- On the asymptotic behavior of fuzzy cellular automata (Q2811946) (← links)
- CA models for target searching agents (Q2811949) (← links)
- Larger than Life's invariant measures (Q2811950) (← links)
- On one-way one-bit \(O\) (one)-message cellular automata (Q2811951) (← links)
- About the Garden of Eden theorems for cellular automata in the hyperbolic plane (Q2811952) (← links)
- Improvement of a result on sequencing elementary cellular automata rules for solving the parity problem (Q2811954) (← links)
- Some investigations about synchronization and density classification tasks in one-dimensional and two-dimensional cellular automata rule spaces (Q2811958) (← links)
- Characterization of single cycle CA and its application in pattern classification (Q2811960) (← links)
- Characterization of 1-d periodic boundary reversible CA (Q2811961) (← links)
- On the complexity of sandpile prediction problems (Q2811962) (← links)
- A modular static analysis approach to affine loop invariants detection (Q2814096) (← links)
