Pages that link to "Item:Q5464478"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464478):
Displaying 14 items.
- Extensional Petri net (Q667521) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- M-nets: a survey (Q1006339) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- (Q2769427) (← links)
- A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets (Q2848363) (← links)
- A Petri net semantics of a simple process algebra for mobility (Q2852064) (← links)
- (Q3601872) (← links)
- (Q3740251) (← links)
- (Q4507812) (← links)
- (Q4986264) (← links)