-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Basic general pomset theory
enhancementNew feature or requestNew feature or requestStatus: Open.#100 In Event-Structures/event-struct;Release/Acquire consistency
enhancementNew feature or requestNew feature or requestRFCRequest For CommentRequest For CommentStatus: Open.#76 In Event-Structures/event-struct;Design of Stable Event Structures
enhancementNew feature or requestNew feature or requestRFCRequest For CommentRequest For CommentStatus: Open.#60 In Event-Structures/event-struct;Synchronization Algebra
enhancementNew feature or requestNew feature or requestRFCRequest For CommentRequest For CommentStatus: Open.#59 In Event-Structures/event-struct;Toward Denotational Semantics
enhancementNew feature or requestNew feature or requestRFCRequest For CommentRequest For CommentStatus: Open.#58 In Event-Structures/event-struct;Design of identType
RFCRequest For CommentRequest For CommentStatus: Open.#21 In Event-Structures/event-struct;inhTypeenhancementNew feature or requestNew feature or requestStatus: Open.#10 In Event-Structures/event-struct;