Pages that link to "Item:Q1148680"
From MaRDI portal
The following pages link to Petri nets, event structures and domains. I (Q1148680):
Displaying 50 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)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- D-continuous causal nets: A model of non-sequential processes (Q788491) (← links)
- Using information systems to solve recursive domain equations (Q808273) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Prime algebraicity (Q843107) (← links)
- Projective topology on bifinite domains and applications (Q854172) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems) (Q914365) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Calculi for synchrony and asynchrony (Q1050111) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Synthesis and equivalence of concurrent systems (Q1105355) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Concurrent systems and inevitability (Q1122355) (← links)
- Concurrency and atomicity (Q1124366) (← links)
