Pages that link to "Item:Q5899078"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899078):
Displaying 4 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Linear forwarders (Q2384926) (← links)
- MarCaSPiS: a Markovian Extension of a Calculus for Services (Q2810685) (← links)
- A Calculus of Global Interaction based on Session Types (Q2864218) (← links)
