Pages that link to "Item:Q5712292"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712292):
Displaying 3 items.
- Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
- A model of reconfiguration in communicating sequential processes with a notion of transactions (Q1186564) (← links)
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines (Q6116186) (← links)