Pages that link to "Item:Q1370654"
From MaRDI portal
The following pages link to The difference between splitting in \(n\) and \(n+1\) (Q1370654):
Displaying 17 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- ST-structures (Q338620) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Synchronization languages and rewriting systems (Q1854431) (← links)
- Decidability of split equivalence (Q1854504) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- The limit of split\(_ n\)-language equivalence (Q1923087) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Reversibility and models for concurrency (Q2871832) (← links)
- A hierarchy of reverse bisimulations on stable configuration structures (Q2883121) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- The limit of splitn-language equivalence (Q4645217) (← links)
- (Q4989406) (← links)
- Bounded concurrency (Q5055935) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)
- Event Identifier Logic (Q5740354) (← links)