Automated synthesis of application-layer connectors from automata-based specifications (Q2424673)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7073041
Language Label Description Also known as
default for all languages
No label defined
    English
    Automated synthesis of application-layer connectors from automata-based specifications
    scientific article; zbMATH DE number 7073041

      Statements

      Automated synthesis of application-layer connectors from automata-based specifications (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      25 June 2019
      0 references
      automated mediator synthesis
      0 references
      interoperability
      0 references
      protocols
      0 references
      heterogeneous applications
      0 references
      communication
      0 references
      coordination
      0 references
      protocol mismatches
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references