Get the latest tech news

P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems


The P programming language. Contribute to p-org/P development by creating an account on GitHub.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Event

Event

Photo of analysis

analysis

Photo of systems

systems

Related news:

News photo

Creative Commons announces tentative support for AI ‘pay-to-crawl’ systems

News photo

Analysis finds anytime electricity from solar available as battery costs plummet

News photo

Washington bans prediction markets as ‘increased interest’ in event-based contracts spikes