Realizable temporal logics for web service choreography (Q739636): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2016.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2460437814
@@ Property / OpenAlex ID: W2460437814 / rank @@
+Normal rank
@@ Property / cites work @@
+Conversation protocols: a formalism for specification and verification of reactive electronic services
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Realizability and verification of MSC graphs
@@ Property / cites work: Realizability and verification of MSC graphs / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q2754167
@@ Property / cites work: Q2754167 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding choreography realizability
@@ Property / cites work: Deciding choreography realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of Realizability Conditions for Web Service Choreographies
+Normal rank
@@ Property / cites work @@
+Counterexample Guided Synthesis of Monitors for Realizability Enforcement
+Normal rank
@@ Property / cites work @@
+An expressively complete linear time temporal logic for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about layered message passing systems
@@ Property / cites work: Reasoning about layered message passing systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Models of Communicating Systems
@@ Property / cites work: Formal Models of Communicating Systems / rank @@
+Normal rank