ERD

A Theory of Composing Protocols

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Extensions of actor-based, object-oriented, and functional languages: syntax, semantics, and documentation

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Approaches to static and dynamic verification

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

b-API for provision at work

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Towards Choreographic-Based Monitoring

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

A Monitoring Tool for Linear-TimeHML

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Report on combination of different verification techniques and b-APIs for adaptable systems.

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Report on methodological approaches to b-APIs round-trip engineering

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Portfolio of use-cases and of current practices for API provisioning

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Languages and models for b-API description

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Dynamic Reconfiguration of Business Processes

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Realisability of pomsets

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Continuous Integration, Choreographically

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

SFJ: An Implementation of Semantic Featherweight Java

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

A Formal Approach to Microservice Architecture Deployment

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

On the Prediction of Smart Contracts’ Behaviours

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

A Sound Algorithm for Asynchronous Session Subtyping

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Choreography Automata

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Deadlock Analysis of Wait-Notify Coordination

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Relating Session Types and Behavioural Contracts: The Asynchronous Case

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Resource Sharing via Capability-Based Multiparty Session Types

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Typechecking Java Protocols with [St]Mungo

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Process calculi as a tool for studying coordination, contracts and session types

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

The Process Highlighter: From Texts to Declarative Processes and Back

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

A Framework for Parameterized Monitorability

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

A type checking algorithm for concurrent object protocols

Project: BEHAPI

Updated at: 28-04-2024

Show more information

Project acronym BEHAPI

Resources

Selected filters:

A Theory of Composing Protocols

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Extensions of actor-based, object-oriented, and functional languages: syntax, semantics, and documentation

Approaches to static and dynamic verification

b-API for provision at work

Towards Choreographic-Based Monitoring

A Monitoring Tool for Linear-TimeHML

Report on combination of different verification techniques and b-APIs for adaptable systems.

Report on methodological approaches to b-APIs round-trip engineering

Portfolio of use-cases and of current practices for API provisioning

Languages and models for b-API description

Dynamic Reconfiguration of Business Processes

Realisability of pomsets

Continuous Integration, Choreographically

SFJ: An Implementation of Semantic Featherweight Java

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

A Formal Approach to Microservice Architecture Deployment

Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

On the Prediction of Smart Contracts’ Behaviours

A Sound Algorithm for Asynchronous Session Subtyping

Choreography Automata

Deadlock Analysis of Wait-Notify Coordination

Relating Session Types and Behavioural Contracts: The Asynchronous Case

Resource Sharing via Capability-Based Multiparty Session Types

Typechecking Java Protocols with [St]Mungo

Process calculi as a tool for studying coordination, contracts and session types

Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

The Process Highlighter: From Texts to Declarative Processes and Back

A Framework for Parameterized Monitorability

A type checking algorithm for concurrent object protocols