Search results

Petri nets might trump session types

Status: Open.

#9 In CrowdHailer/eyg;

· CrowdHailer opened on Jan 20, 2019

Other Rust implementations

Status: Open.

#7 In CrowdHailer/eyg;

· CrowdHailer opened on Jan 12, 2019

CALM principle and positive results

Status: Open.

#6 In CrowdHailer/eyg;

· CrowdHailer opened on Jan 10, 2019

Friends

Status: Open.

#5 In CrowdHailer/eyg;

· CrowdHailer opened on Jan 2, 2019

Constraints be good

Status: Open.

#4 In CrowdHailer/eyg;

· CrowdHailer opened on Jun 22, 2018

mailboxes

Status: Open.

#3 In CrowdHailer/eyg;

· CrowdHailer opened on Apr 24, 2018

DSL for getting stuff done

Status: Open.

#2 In CrowdHailer/eyg;

· CrowdHailer opened on Dec 12, 2017

Event based temporal logic

Status: Open.

#1 In CrowdHailer/eyg;

· CrowdHailer opened on Nov 6, 2017