The following pages link to Jonathan Hayman (Q283743):
Displaying 11 items.
- Strategies as concurrent processes (Q283745) (← links)
- Non-angelic concurrent game semantics (Q1652962) (← links)
- Interaction and Causality in Digital Signature Exchange Protocols (Q2811930) (← links)
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (Q2957506) (← links)
- Granularity and Concurrent Separation Logic (Q3090832) (← links)
- The unfolding of general Petri nets (Q3165961) (← links)
- On Pushouts of Partial Maps (Q3192235) (← links)
- Independence and concurrent separation logic (Q3518272) (← links)
- Pattern Graphs and Rule-Based Models: The Semantics of Kappa (Q4910408) (← links)
- (Q5190781) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
