Concurrent regular expressions and their relationship to Petri nets (Q1184987): Difference between revisions

@@ Property / cites work @@
+Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
+Normal rank
@@ Property / cites work @@
+Q4048566
@@ Property / cites work: Q4048566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely recursive process models for discrete event systems
+Normal rank
@@ Property / cites work @@
+Q4146242
@@ Property / cites work: Q4146242 / rank @@
+Normal rank
@@ Property / cites work @@
+COSY - a system specification language based on paths and processes
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+CIRCAL and the representation of communication, concurrency, and time
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computation sequence sets
@@ Property / cites work: Computation sequence sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / 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 @@
+Petri nets and szilard languages
@@ Property / cites work: Petri nets and szilard languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4172930
@@ Property / cites work: Q4172930 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and regular languages
@@ Property / cites work: Petri nets and regular languages / rank @@
+Normal rank