| | P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org) |
| 37 points by Davidbrcz 3 months ago | past | 5 comments |
|
| | Formal Modeling and Analysis of Distributed (Event-Driven) Systems (github.com/p-org) |
| 2 points by ot 9 months ago | past | 1 comment |
|
| | The P Programming Language: Formal modeling and analysis of distributed systems (github.com/p-org) |
| 17 points by wslh on Nov 9, 2024 | past | 2 comments |
|
| | P: A language for asynchronous event-driven programming and model checking (github.com/p-org) |
| 5 points by fanf2 on Oct 28, 2020 | past |
|
| | PSharp: A framework for rapid development of reliable asynchronous software (github.com/p-org) |
| 1 point by polskibus on Jan 17, 2020 | past |
|
| | P Programming Language: Async, event-driven programming using state machines (github.com/p-org) |
| 2 points by capableweb on Dec 28, 2019 | past |
|
| | The P Programming Language (github.com/p-org) |
| 3 points by damian2000 on Sept 30, 2019 | past | 1 comment |
|
| | P#: Safe asynchronous event-driven .NET programming (github.com/p-org) |
| 1 point by devinrader on Aug 10, 2017 | past |
|
| | The P programming language (github.com/p-org) |
| 220 points by msoad on Oct 9, 2016 | past | 87 comments |
|
