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):
Displaying 13 items.
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- 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)
- Petri nets with causal time for system verification (Q2842866) (← links)
- Programming of a class of multiprocessor systems with higher Petri nets (Q3992784) (← links)
- A class of composable high level Petri nets (Q5096360) (← links)
- From μCRL to mCRL2 (Q5262965) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
- High level expressions with their SOS semantics (Q6044124) (← links)
- M-net Calculus Based Semantics for Triggers (Q6487398) (← links)