Discussions

• 2 You must be logged in to vote

  💡

  Initial ideas for framework's modeling approach

  sergefdrv started Sep 4, 2024 in Ideas

  

  

  

  

  58
• 1 You must be logged in to vote

  💬

  A Sketch of Reversible Deterministic Concurrency for Distributed Protocols

  sergefdrv started May 30, 2025 in General

  

  

  5
• 1 You must be logged in to vote

  💬

  On Frameworks for Implementing Distributed Protocols

  sergefdrv started Aug 11, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Initial ideas for framework's runtime and integration

  sergefdrv started Sep 5, 2024 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  💡

  Initial ideas for framework's verification methods

  sergefdrv started Sep 5, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Initial ideas for framework's structure and notations

  sergefdrv started Sep 5, 2024 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Initial ideas

  sergefdrv started Sep 4, 2024 in Ideas

  

  

  0
• 2 You must be logged in to vote

  📣

  The Second phase of the state-of-the-art exploration concluded

  sergefdrv announced Aug 30, 2024 in Announcements

  

  

  0
• 1 You must be logged in to vote

  📣

  The first phase of the state-of-the-art exploration concluded

  sergefdrv announced Mar 5, 2024 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💬

  On Implementation of Distributed Protocols

  sergefdrv started Feb 19, 2024 in General

  

  

  0