ERD

Towards refinable choreographies

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

The Reversible Temporal Process Language

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Comparing perfomance abstractions for collective adaptive systems

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Report assessing the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

A catalog of problems on the usage of APIs, limitations of current technologies and opportunities for improvement

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Tutorials of tools and white papers

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

ElixirST: A Session-Based Type System for Elixir Modules

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Safe asynchronous mixed-choice for timed interactions

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Towards Probabilistic Session-Type Monitoring

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Open Compliance in Multiparty Sessions

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

ReGraDa: Reactive Graph Data

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Web sites of the project (public and internal according to the IP policies established in WP1), containing a repository ...

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Report on advances on model-driven verification of composite b-APIs and on static and dynamic verification (runtime moni...

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Periodic Reporting for period 1 - BEHAPI (Behavioural Application Program Interfaces)

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Assured automatic dynamic reconfiguration of business processes

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Suite of training exercises w/ solutions

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Resources

Selected filters:

Towards refinable choreographies

The Reversible Temporal Process Language

Comparing perfomance abstractions for collective adaptive systems

Report assessing the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs

A catalog of problems on the usage of APIs, limitations of current technologies and opportunities for improvement

Tutorials of tools and white papers

ElixirST: A Session-Based Type System for Elixir Modules

Safe asynchronous mixed-choice for timed interactions

Towards Probabilistic Session-Type Monitoring

Open Compliance in Multiparty Sessions

ReGraDa: Reactive Graph Data

Web sites of the project (public and internal according to the IP policies established in WP1), containing a repository ...

Report on advances on model-driven verification of composite b-APIs and on static and dynamic verification (runtime moni...

Periodic Reporting for period 1 - BEHAPI (Behavioural Application Program Interfaces)

Assured automatic dynamic reconfiguration of business processes

Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules

Suite of training exercises w/ solutions