Pages that link to "Item:Q5712282"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712282):
Displaying 13 items.
- A hierarchy of communication models for message sequence charts (Q701045) (← links)
- A semantic and methodological essence of message sequence charts (Q703583) (← links)
- Broadcast MSCs (Q1882800) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- Multiparty half-duplex systems and synchronous communications (Q2683034) (← links)
- Message sequence charts in the development process -- roles and limitations (Q2841315) (← links)
- Specification and verification using message sequence charts (Q2841317) (← links)
- Timed semantics of message sequence charts based on timed automata (Q2842583) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Negotiations and Petri Nets (Q5268429) (← links)
- Lectures on Concurrency and Petri Nets (Q5712292) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900573) (← links)