The following pages link to CONCUR 2005 – Concurrency Theory (Q5897493):
Displaying 5 items.
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Planning as satisfiability: parallel plans and algorithms for plan search (Q2457605) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- (Q4038732) (← links)
- (Q4364400) (← links)