Parametrized automata simulation and application to service composition (Q485834): Difference between revisions

@@ Property / cites work @@
+Web services. Concepts, architectures and applications
+Normal rank
@@ Property / cites work @@
+Controller/Orchestrator Synthesis via Filtration
@@ Property / cites work: Controller/Orchestrator Synthesis via Filtration / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
@@ Property / cites work: AUTOMATIC SERVICE COMPOSITION VIA SIMULATION / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic behavior composition synthesis
@@ Property / cites work: Automatic behavior composition synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Automata for Resource Usage Control
@@ Property / cites work: Nominal Automata for Resource Usage Control / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Clock Timed Automata Is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+Modal specifications for the control theory of discrete event systems
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of secure adaptors
@@ Property / cites work: Synthesis of secure adaptors / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+On the verification of security-aware E-services
@@ Property / cites work: On the verification of security-aware E-services / rank @@
+Normal rank
@@ Property / cites work @@
+Intractability of decision problems for finite-memory automata
+Normal rank
@@ Property / cites work @@
+Q4536767
@@ Property / cites work: Q4536767 / rank @@
+Normal rank