scientific article; zbMATH DE number 7454919

zbMath1477.68073arXiv2009.08769MaRDI QIDQ5019693

João Mota, António Ravara, André Trindade

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2009.08769

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (1)

Research Challenges in Orchestration Synthesis

Uses Software

• Mungo

Cites Work

• Typestate: A programming language concept for enhancing software reliability
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Three models for the description of language

This page was built for publication: