Formal Choreographic Languages.
Franco BarbaneraIvan LaneseEmilio TuostoPublished in: COORDINATION (2022)
Keyphrases
- highly expressive
- formal language
- expressive power
- formal model
- language independent
- knowledge representation languages
- text summarization
- real time
- specification languages
- formal languages
- syntactic and semantic dependencies
- multi lingual
- formal analysis
- target language
- neural network
- data sets
- formal specification
- formal models
- cross lingual
- language identification
- data model
- website
- object oriented languages
- native language
- arabic language
- databases
- multilingual information retrieval
- database