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
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
0.915277063846588
0 references
0.7449766397476196
0 references
0.7120903134346008
0 references
0.6883710622787476
0 references
0.6672106385231018
0 references