Pages that link to "Item:Q843106"

The following pages link to Configuration structures, event structures and Petri nets (Q843106):

Displaying 35 items.

• Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
• ST-structures (Q338620) (← links)
• Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
• Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
• Configuration structures, event structures and Petri nets (Q843106) (← links)
• Reversibility and asymmetric conflict in event structures (Q890616) (← links)
• Dynamic connectors for concurrency (Q1603689) (← links)
• Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
• Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
• Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
• Causal dynamic inference (Q1935591) (← links)
• Abstract processes of place/transition systems (Q1944098) (← links)
• Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
• Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
• Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
• Minimisation of event structures (Q2084951) (← links)
• Causality analysis and fault ascription in component-based systems (Q2193287) (← links)
• Event-based functional decomposition (Q2304530) (← links)
• A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
• Dynamic Causality in Event Structures (Q2827451) (← links)
• Independence Abstractions and Models of Concurrency (Q2961560) (← links)
• Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130) (← links)
• Branching Processes of General Petri Nets (Q3011885) (← links)
• On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
• On Causal Semantics of Petri Nets (Q3090821) (← links)
• Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
• (Q4989400) (← links)
• (Q5028437) (← links)
• Languages of higher-dimensional automata (Q5076390) (← links)
• (Q5089270) (← links)
• Open Petri nets (Q5139283) (← links)
• Flow Unfolding of Multi-clock Nets (Q5166763) (← links)
• Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly (Q5739008) (← links)
• Event Identifier Logic (Q5740354) (← links)
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)