Pages that link to "Item:Q673785"

The following pages link to On the implementation of concurrent calculi in net calculi: two case studies (Q673785):

Displaying 7 items.

• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
• Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
• Tile formats for located and mobile systems. (Q1854326) (← links)
• The box algebra = Petri nets + process expressions (Q1854558) (← links)
• Nested-unit Petri nets (Q2423743) (← links)
• Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
• Ugo Montanari and Concurrency Theory (Q3507376) (← links)