The following pages link to (Q5192932):
Displaying 4 items.
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- Describing Behavior of Processes with Many-to-Many Interactions (Q6184715) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)