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)
- Petri net‐based modeling and performance analysis of transaction scheduling in grid database (Q5189827) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)