Pages that link to "Item:Q1148680"
From MaRDI portal
The following pages link to Petri nets, event structures and domains. I (Q1148680):
Displaying 34 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Contracts as games on event structures (Q272306) (← links)
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- On the expressive power of behavioral profiles (Q315288) (← links)
- Reduction of event structures under history preserving bisimulation (Q338613) (← links)
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- An approach to innocent strategies as graphs (Q418201) (← links)
- Transfer of trust in event-based reputation systems (Q418797) (← links)
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes (Q463287) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Models for concurrency: Towards a classification (Q672053) (← links)
- Quasi-prime algebraic domains (Q672133) (← links)
- An event structure semantics for general Petri nets (Q672871) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Petri nets and bisimulation (Q672873) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- The poset of infinitary traces (Q689293) (← links)
- A polynomial time algorithm to compute geodesics in CAT(0) cubical complexes (Q5002757) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5091184) (← links)
- Normal forms, linearity, and prime algebraicity over nonflat domains (Q5109211) (← links)
- (Q5875349) (← links)
- (Q5875388) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
- Causal Unfoldings and Disjunctive Causes (Q6135752) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- First-order logic axiomatization of metric graph theory (Q6196830) (← links)
