The following pages link to (Q3356298):
Displaying 15 items.
- Event structures and domains (Q1124367) (← links)
- A logical characterization of well branching event structures (Q1190487) (← links)
- Unified mathematical framework for slicing and symmetry reduction over event structures (Q2336364) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- (Q3724336) (← links)
- (Q3832541) (← links)
- (Q4270080) (← links)
- A Monotonic Formalism for Events and Systems of Events (Q4316300) (← links)
- (Q4694252) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- (Q5114821) (← links)
- (Q5190784) (← links)
- (Q5680110) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- A monoidal closed category of event structures (Q6116584) (← links)