Causal behaviours and nets (Q5096367): Difference between revisions

@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2118303749
@@ Property / OpenAlex ID: W2118303749 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential and concurrent behaviour in Petri net theory
+Normal rank
@@ Property / cites work @@
+Q3687725
@@ Property / cites work: Q3687725 / rank @@
+Normal rank
@@ Property / cites work @@
+Causal automata
@@ Property / cites work: Causal automata / 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 @@
+Coloured Petri nets and the invariant-method
@@ Property / cites work: Coloured Petri nets and the invariant-method / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification and verification of communication protocols
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q4028627
@@ Property / cites work: Q4028627 / rank @@
+Normal rank
@@ Property / cites work @@
+Recoverability of Communication Protocols--Implications of a Theoretical Study
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the nature of events
@@ Property / cites work: On the nature of events / rank @@
+Normal rank
@@ Property / cites work @@
+On the specification of elementary reactive behaviour
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746897
@@ Property / cites work: Q3746897 / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting causal relationships in distributed computations: In search of the holy grail
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank