Loic.p-org.P 1.0.0

.NET 5.0 This package targets .NET 5.0. The package is compatible with this framework or higher. 
dotnet add package Loic.p-org.P --version 1.0.0                

                    
                

            
NuGet\Install-Package Loic.p-org.P -Version 1.0.0
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="Loic.p-org.P" Version="1.0.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add Loic.p-org.P --version 1.0.0                

                    
                

            
#r "nuget: Loic.p-org.P, 1.0.0"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
// Install Loic.p-org.P as a Cake Addin
#addin nuget:?package=Loic.p-org.P&version=1.0.0

// Install Loic.p-org.P as a Cake Tool
#tool nuget:?package=Loic.p-org.P&version=1.0.0

<div align="center"> <img src="images/icon.png" width="20%"> <h2>Modular and Safe Programming for Distributed Systems</h2> </div>

NuGet GitHub license GitHub Action (CI on Windows) GitHub Action (CI on Ubuntu) GitHub Action (CI on MacOS)

P is a state machine based programming language for modeling and specifying complex distributed systems. P allows the programmer to specify the system as a collection of interacting state machines, which communicate with each other using events. P unifies modeling, specifying, implementing, and testing into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be systematically tested using Model Checking.

P is currently being used extensively inside Amazon (AWS) for performing analysis of complex distributed systems. P was used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone. We have also used P for programming safe robotics systems.

Programming distributed systems is challenging but a pinch of programming languages design combined with a dash of automated reasoning can go a long way in bringing the joy back. 🤠

Let the fun begin!

See our webpage for more information about the P framework, getting started, case studies, tutorials and related research publications. If you have any further questions, please feel free to create an issue, ask on discussions, or email us

P is being built and maintained since 2013 as a collaborative project between industry and academia. The P project welcomes contributions and suggestions. See CONTRIBUTING for more information.

Product Compatible and additional computed target framework versions.
.NET net5.0 is compatible.  net5.0-windows was computed.  net6.0 was computed.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

  • net5.0

    • No dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
1.0.0 0 7/31/2021