Pages that link to "Item:Q5308438"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308438):
Displaying 5 items.
- Trusted autonomic service cooperation model and application development framework (Q848314) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- On the expressiveness of mobile synchronizing Petri nets (Q2864393) (← links)
- Coding mobile synchronizing Petri nets into rewriting logic (Q2864520) (← links)