Relational structures for concurrent behaviours (Q1998872): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q104379610
@@ Property / Wikidata QID: Q104379610 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2020.10.019
+Normal rank
@@ Property / OpenAlex ID @@
+W3093879593
@@ Property / OpenAlex ID: W3093879593 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527017
@@ Property / cites work: Q3527017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247285
@@ Property / cites work: Q4247285 / rank @@
+Normal rank
@@ Property / cites work @@
+Order Structures for Subclasses of Generalised Traces
+Normal rank
@@ Property / cites work @@
+Step traces
@@ Property / cites work: Step traces / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling concurrency with comtraces and generalized comtraces
+Normal rank
@@ Property / cites work @@
+Mutex Causality in Processes and Traces of General Elementary Nets
+Normal rank
@@ Property / cites work @@
+Structure of concurrency
@@ Property / cites work: Structure of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of modelling concurrency using discrete relational structures
+Normal rank
@@ Property / cites work @@
+Characterising Concurrent Histories
@@ Property / cites work: Characterising Concurrent Histories / rank @@
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with interval traces
@@ Property / cites work: Modeling concurrency with interval traces / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+A generalization of traces
@@ Property / cites work: A generalization of traces / rank @@
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+A trace semantics for Petri nets
@@ Property / cites work: A trace semantics for Petri nets / rank @@
+Normal rank