An interface theory for service-oriented design (Q407507): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6338728
@@ Property / zbMATH DE Number: 6338728 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asynchronous process networks
@@ Property / zbMATH Keywords: asynchronous process networks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+component algebra
@@ Property / zbMATH Keywords: component algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interface algebra
@@ Property / zbMATH Keywords: interface algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+orchestration
@@ Property / zbMATH Keywords: orchestration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+service-oriented computing
@@ Property / zbMATH Keywords: service-oriented computing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WSAT
@@ Property / describes a project that uses: WSAT / 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.tcs.2013.05.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2136194169
@@ Property / OpenAlex ID: W2136194169 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric temporal logic for “model measuring”
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / 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 @@
+Q3601412
@@ Property / cites work: Q3601412 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+A formal model for service-oriented interactions
@@ Property / cites work: A formal model for service-oriented interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Conversation protocols: a formalism for specification and verification of reactive electronic services
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Closed Covers: To Verify Progress for Communicating Finite State Machines
+Normal rank
@@ Property / cites work @@
+On the progress of communication between two finite state machines
+Normal rank
@@ Property / cites work @@
+From liveness to promptness
@@ Property / cites work: From liveness to promptness / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:407507