From Hierarchical BIP to Petri Calculus (Q5170743): Difference between revisions

@@ Property / cites work @@
+Tiles for Reo
@@ Property / cites work: Tiles for Reo / rank @@
+Normal rank
@@ Property / cites work @@
+Causal semantics for the algebra of connectors
@@ Property / cites work: Causal semantics for the algebra of connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A basic algebra of stateless connectors
@@ Property / cites work: A basic algebra of stateless connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A Connector Algebra for P/T Nets Interactions
@@ Property / cites work: A Connector Algebra for P/T Nets Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Connector Algebras, Petri Nets, and BIP
@@ Property / cites work: Connector Algebras, Petri Nets, and BIP / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9--10, 2011. Revised selected papers
+Normal rank
@@ Property / cites work @@
+Connector algebras for C/E and P/T nets' interactions
+Normal rank
@@ Property / cites work @@
+Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
+Normal rank
@@ Property / cites work @@
+Representations of Petri Net Interactions
@@ Property / cites work: Representations of Petri Net Interactions / rank @@
+Normal rank