scientific article; zbMATH DE number 7167590

zbMATH Open1433.68233arXiv1311.5802MaRDI QIDQ5216082FDOQ5216082

Authors: Franco Barbanera, Ugo de'Liguoro 

Publication date: 14 February 2020

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

Title of this publication is not available (Why is that?)

Recommendations

• Sub-behaviour relations for session-based client/server systems
• scientific article; zbMATH DE number 2033284
• Computational complexity of compliance and conformance: drawing a line between theory and practice

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Contracts as games on event structures
• Title not available (Why is that?)
• Reversible client/server interactions
• Orchestrated session compliance

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216082)