Pages that link to "Item:Q1284690"
From MaRDI portal
The following pages link to M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages (Q1284690):
Displayed 8 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- M-nets: a survey (Q1006339) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- (Q2842866) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)