The box algebra = Petri nets + process expressions (Q1854558): Difference between revisions

@@ 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 @@
+Q4281515
@@ Property / cites work: Q4281515 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+A distributed operational semantics of CCS based on condition/event systems
+Normal rank
@@ Property / cites work @@
+S-invariant analysis of general recursive Petri boxes
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5748880
@@ Property / cites work: Q5748880 / rank @@
+Normal rank
@@ Property / cites work @@
+On the implementation of concurrent calculi in net calculi: two case studies
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023058
@@ Property / cites work: Q4023058 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics for the box algebra
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296304
@@ Property / cites work: Q4296304 / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank
@@ Property / cites work @@
+Analysis of Petri nets by stepwise refinements
@@ Property / cites work: Analysis of Petri nets by stepwise refinements / rank @@
+Normal rank
@@ Property / cites work @@
+Failures semantics based on interval semiwords is a congruence for refinement
+Normal rank
@@ Property / cites work @@
+Q4035680
@@ Property / cites work: Q4035680 / rank @@
+Normal rank