Pages that link to "Item:Q3602798"
From MaRDI portal
The following pages link to Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798):
Displaying 9 items.
- Concurrency and hardware design. Advances in Petri nets (Q1868003) (← links)
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- Separability in Conflict-Free Petri Nets (Q3401931) (← links)
- (Q3680288) (← links)
- (Q3815533) (← links)
- Formal Specification of Concurrent Systems: A Structured Approach (Q4226631) (← links)
- (Q5309393) (← links)
- FM 2005: Formal Methods (Q5716877) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)