Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856): Difference between revisions

@@ Property / describes a project that uses @@
+BPEL2oWFN
@@ Property / describes a project that uses: BPEL2oWFN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1824356224
@@ Property / OpenAlex ID: W1824356224 / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioural Congruence for Web Services
@@ Property / cites work: A Behavioural Congruence for Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Operating Guidelines for Finite-State Services
@@ Property / cites work: Operating Guidelines for Finite-State Services / rank @@
+Normal rank
@@ Property / cites work @@
+The Must Preorder Revisited
@@ Property / cites work: The Must Preorder Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Models for Reactive Systems
@@ Property / cites work: Coalgebraic Models for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal semantics and analysis of control flow in WS-BPEL
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3510856