Search

Your search keyword '"Lanese, Ivan"' showing total 157 results

Search Constraints

Start Over You searched for: Author "Lanese, Ivan" Remove constraint Author: "Lanese, Ivan" Publisher springer international publishing Remove constraint Publisher: springer international publishing
157 results on '"Lanese, Ivan"'

Search Results

1. On Formal Choreographic Modelling: A Case Study in EU Business Processes

2. Generation of a Reversible Semantics for Erlang in Maude

3. Reversibility in Erlang: Imperative Constructs

4. Formal Choreographic Languages

5. The Reversible Temporal Process Language

6. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

7. Software and Reversible Systems: A Survey of Recent Activities

8. Foundations of Reversible Computation

9. Corinne, a Tool for Choreography Automata

10. Forward-Reverse Observational Equivalences in CCSK

11. Causal-Consistent Debugging of Distributed Erlang Programs

12. Composing Communicating Systems, Synchronously

13. Choreography Automata

14. An Axiomatic Approach to Reversible Computation

19. Linguistic Abstractions for Interoperability of IoT Platforms

20. Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

21. No More, No Less : A Formal Model for Serverless Computing

22. Causal-Consistent Replay Debugging for Message Passing Programs

23. Reversing Unbounded Petri Nets

24. Playing with Bisimulation in Erlang

25. From Reversible Semantics to Reversible Debugging

26. CauDEr: A Causal-Consistent Reversible Debugger for Erlang

27. Microservices: How To Make Your Application Scale

28. ChIP: A Choreographic Integration Process

32. Foundations of Reversible Computation

34. Software and Reversible Systems: A Survey of Recent Activities

36. Retractable and Speculative Contracts

37. Most General Property-Preserving Updates

44. Dynamic Choreographies : Safe Runtime Updates of Distributed Applications

45. The Evolution of Jolie : From Orchestrations to Adaptable Choreographies

46. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Catalog

Books, media, physical & digital resources