Modeling concurrency with interval traces (Q515576): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2190677066
@@ Property / OpenAlex ID: W2190677066 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+On Interval Process Semantics of Petri Nets with Inhibitor Arcs
+Normal rank
@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+Concurrent histories: a basis for observing distributed systems
+Normal rank
@@ Property / cites work @@
+Q4247286
@@ Property / cites work: Q4247286 / rank @@
+Normal rank
@@ Property / cites work @@
+Intransitive indifference with unequal indifference intervals
+Normal rank
@@ Property / cites work @@
+Betweenness, orders and interval graphs
@@ Property / cites work: Betweenness, orders and interval graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal semantics for concurrent systems with a priority relation
+Normal rank
@@ Property / cites work @@
+Relational structures model of concurrency
@@ Property / cites work: Relational structures model of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3018961
@@ Property / cites work: Q3018961 / rank @@
+Normal rank
@@ Property / cites work @@
+Step traces
@@ Property / cites work: Step traces / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of concurrency
@@ Property / cites work: Structure of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of modelling concurrency using discrete relational structures
+Normal rank
@@ Property / cites work @@
+Modelling concurrency with comtraces and generalized comtraces
+Normal rank
@@ Property / cites work @@
+Modeling Interval Order Structures with Partially Commutative Monoids
+Normal rank
@@ Property / cites work @@
+Process semantics of general inhibitor nets
@@ Property / cites work: Process semantics of general inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527017
@@ Property / cites work: Q3527017 / rank @@
+Normal rank
@@ Property / cites work @@
+Mutex Causality in Processes and Traces of General Elementary Nets
+Normal rank
@@ Property / cites work @@
+The mutual exclusion problem
@@ Property / cites work: The mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3225719
@@ Property / cites work: Q3225719 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, time and space
@@ Property / cites work: Nets, time and space / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
+Normal rank
@@ Property / cites work @@
+Q4247285
@@ Property / cites work: Q4247285 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997397
@@ Property / cites work: Q3997397 / rank @@
+Normal rank
@@ Property / cites work @@
+On Characterising Distributability
@@ Property / cites work: On Characterising Distributability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed testing of concurrent systems
@@ Property / cites work: Timed testing of concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order semantics and read arcs
@@ Property / cites work: Partial order semantics and read arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220896
@@ Property / cites work: Q4220896 / rank @@
+Normal rank