Search results

Basic general pomset theory

enhancementNew feature or requestNew feature or request

theory

Status: Open.

#100 In Event-Structures/event-struct;

· eupp opened on Jun 8, 2021

Release/Acquire consistency

enhancementNew feature or requestNew feature or request

RFCRequest For CommentRequest For Comment

theory

Status: Open.

#76 In Event-Structures/event-struct;

· volodeyka opened on Mar 12, 2021

Design of Stable Event Structures

enhancementNew feature or requestNew feature or request

RFCRequest For CommentRequest For Comment

theory

Status: Open.

#60 In Event-Structures/event-struct;

· eupp opened on Jan 25, 2021

Synchronization Algebra

enhancementNew feature or requestNew feature or request

RFCRequest For CommentRequest For Comment

theory

Status: Open.

#59 In Event-Structures/event-struct;

· eupp opened on Jan 22, 2021

Toward Denotational Semantics

enhancementNew feature or requestNew feature or request

RFCRequest For CommentRequest For Comment

theory

Status: Open.

#58 In Event-Structures/event-struct;

· eupp opened on Jan 15, 2021

Design of identType

RFCRequest For CommentRequest For Comment

Status: Open.

#21 In Event-Structures/event-struct;

· anton-trunov opened on Nov 8, 2020

<code>inhType</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In Event-Structures/event-struct;

· eupp opened on Oct 21, 2020