Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages.
Nils BergThomas GöthelArmin DanzigerSabine GlesnerPublished in: ICFEM (2018)
Keyphrases
- multi lingual
- synchronous communication
- asynchronous communication
- low level
- language independent
- cross lingual
- high level
- language identification
- higher level
- semi structured
- information retrieval
- service composition
- low level features
- visual information
- middle level
- structured data
- database
- expressive power
- petri net
- image details
- asynchronous circuits
- data sets
- semantic information
- mid level
- theoretical guarantees
- information extraction
- database systems
- web services
- databases