157 results on '"Lanese, Ivan"'
Search Results
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
15. Reversibility in Erlang: Imperative Constructs
16. On Formal Choreographic Modelling: A Case Study in EU Business Processes
17. Generation of a Reversible Semantics for Erlang in Maude
18. The Reversible Temporal Process Language
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
29. Corinne, a Tool for Choreography Automata
30. Forward-Reverse Observational Equivalences in CCSK
31. Causal-Consistent Debugging of Distributed Erlang Programs
32. Foundations of Reversible Computation
33. Composing Communicating Systems, Synchronously
34. Software and Reversible Systems: A Survey of Recent Activities
35. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
36. Retractable and Speculative Contracts
37. Most General Property-Preserving Updates
38. Microservices: A Language-Based Approach
39. Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
40. Playing with Bisimulation in Erlang
41. Linguistic Abstractions for Interoperability of IoT Platforms
42. Causal-Consistent Replay Debugging for Message Passing Programs
43. Reversing Unbounded Petri Nets
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
47. Towards Global and Local Types for Adaptation
48. From Reversible Semantics to Reversible Debugging
49. Correction to: ChIP: A Choreographic Integration Process
50. CauDEr: A Causal-Consistent Reversible Debugger for Erlang
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.