Pages that link to "Item:Q672053"

The following pages link to Models for concurrency: Towards a classification (Q672053):

Displaying 38 items.

• Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
• Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• Semantic domains of timed event structures (Q840017) (← links)
• Configuration structures, event structures and Petri nets (Q843106) (← links)
• Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
• Rule-based and object-based event structures for membrane systems (Q987957) (← links)
• On linear logic planning and concurrency (Q1041042) (← links)
• Representation of computations in concurrent automata by dependence orders (Q1269906) (← links)
• Synchronization expressions with extended join operation (Q1274985) (← links)
• Domain theory for concurrency (Q1434357) (← links)
• Synchronization languages and rewriting systems (Q1854431) (← links)
• Clustering for Petri nets (Q1884880) (← links)
• EMSO-logic and automata related to homogeneous flow event structures (Q1885039) (← links)
• Timing and causality in process algebra (Q1924998) (← links)
• Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
• Processes against tests: on defining contextual equivalences (Q2079681) (← links)
• Concurrencies in reversible concurrent calculi (Q2097423) (← links)
• An axiomatic approach to reversible computation (Q2200840) (← links)
• Refinement preserving approximations for the design and verification of heterogeneous systems (Q2642667) (← links)
• True Concurrency of Deep Inference Proofs (Q2820698) (← links)
• Reversibility and Models for Concurrency (Q2871832) (← links)
• Independence Abstractions and Models of Concurrency (Q2961560) (← links)
• Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
• On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
• Cathoristic Logic (Q3297837) (← links)
• Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
• Approximating Behaviors in Embedded System Design (Q3507398) (← links)
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification (Q3614835) (← links)
• The true concurrency of differential interaction nets (Q4577982) (← links)
• From domains to automata with concurrency (Q4630301) (← links)
• Languages of higher-dimensional automata (Q5076390) (← links)
• (Q5089270) (← links)
• (Q5089300) (← links)
• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)
• Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
• Branching time controllers for discrete event systems (Q5958466) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)