Pages that link to "Item:Q5712297"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712297):
Displaying 11 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Verifying UCM specifications of distributed systems using colored Petri nets (Q2515336) (← links)
- Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets (Q2766564) (← links)
- Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets (Q3011887) (← links)
- (Q3369931) (← links)
- A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction (Q3452478) (← links)
- Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (Q3510862) (← links)
- Parametric Language Analysis of the Class of Stop-and-Wait Protocols (Q3510867) (← links)
- On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method (Q5416745) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713504) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713515) (← links)