Filter your results
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion6th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2017, Oslo, Norway. pp.168-176, ⟨10.1007/978-3-319-67262-5_13⟩
Conference papers
hal-01677617v1
|
||
|
|
Service-Oriented and Cloud ComputingSpringer International Publishing, LNCS-12054, 2020, Lecture Notes in Computer Science, 978-3-030-44768-7. ⟨10.1007/978-3-030-44769-4⟩
Books
hal-03203229v1
|