The following pages link to Marco Pistore (Q199007):
Displayed 23 items.
- Item:Q199007 (redirect page) (← links)
- Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
- Task decomposition on abstract states, for planning under nondeterminism (Q835827) (← links)
- A partition refinement algorithm for the \(\pi\)-calculus (Q1854406) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- (Q2847799) (← links)
- (Q2847850) (← links)
- (Q2848480) (← links)
- History Dependent Automata for Service Compatibility (Q3507393) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)
- (Q3624089) (← links)
- (Q4222915) (← links)
- (Q4222939) (← links)
- (Q4353638) (← links)
- (Q4409826) (← links)
- (Q4536393) (← links)
- (Q4736997) (← links)
- (Q4737124) (← links)
- (Q4738222) (← links)
- (Q4804909) (← links)
- Minimal transition systems for history-preserving bisimulation (Q5048942) (← links)
- ``Closed interval process algebra'' versus ``interval process algebra'' (Q5941628) (← links)
- On the semantics of durational actions (Q5958612) (← links)