Pages that link to "Item:Q5705911"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705911):
Displaying 9 items.
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Branching cells for asymmetric event structures (Q2253176) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- True-concurrency probabilistic models: Markov nets and a law of large numbers (Q2474051) (← links)
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures (Q2490114) (← links)
- Probabilistic configuration theories (Q2864526) (← links)
- Concurrency, σ-Algebras, and Probabilistic Fairness (Q3617742) (← links)
- (Q5207054) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713526) (← links)