Pages that link to "Item:Q6044132"

From MaRDI portal

← Algebraic characterization of petri net pomset semantics (Q6044132)

Jump to:navigation, search

The following pages link to Algebraic characterization of petri net pomset semantics (Q6044132):

Displaying 2 items.

A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q6044132"