Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610): Difference between revisions

Latest revision as of 16:13, 8 July 2024

scientific article; zbMATH DE number 6309372

Language	Label	Description	Also known as
English	Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition	scientific article; zbMATH DE number 6309372

Statements

instance of

scholarly article

0 references

title

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (English)

0 references

0 references

0 references

0 references

Electronic Notes in Theoretical Computer Science

0 references

publication date

27 June 2014

0 references

zbMATH Keywords

service composition

0 references

controller synthesis

0 references

computational complexity

0 references

describes a project that uses

SWORD

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.entcs.2009.06.036

0 references

cites work

Games for synthesis of controllers with partial observation.

0 references

AUTOMATIC SERVICE COMPOSITION VIA SIMULATION

0 references

The variable hierarchy of the \(\mu\)-calculus is strict

0 references

Proof methods for modal and intuitionistic logics

0 references

Deciding true concurrency equivalences on safe, finite nets

0 references

Q4298260

0 references

Identifiers

zbMATH Open document ID

1291.68277

0 references

DOI

10.1016/j.entcs.2009.06.036

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5166610

@@ Property / describes a project that uses @@
+SWORD
@@ Property / describes a project that uses: SWORD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.06.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2100891401
@@ Property / OpenAlex ID: W2100891401 / rank @@
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
@@ Property / cites work: AUTOMATIC SERVICE COMPOSITION VIA SIMULATION / rank @@
+Normal rank
@@ Property / cites work @@
+The variable hierarchy of the \(\mu\)-calculus is strict
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding true concurrency equivalences on safe, finite nets
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5166610