A fixed-points based framework for compliance of behavioural contracts

DOI10.1016/j.jlamp.2021.100641OpenAlexW3124701512MaRDI QIDQ2035654

Maurizio Murgia

Publication date: 25 June 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100641

zbMATH Keywords

contractscompliancesession types

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Composition of synchronous communicating systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contracts as games on event structures
• Verifiable abstractions for contract-oriented systems
• An algebraic theory for web service contracts
• Fair testing
• Testing equivalences for processes
• Behavioural contracts with request-response operations
• A lattice-theoretical fixpoint theorem and its applications
• Automata for Analysing Service Contracts
• On Duality Relations for Session Types
• Lending Petri Nets and Contracts
• Honesty by Typing
• A theory of contracts for web services
• A Semantic Deconstruction of Session Types
• Compliance in Behavioural Contracts: A Brief Survey
• A Type System for Client Progress in a Service-Oriented Calculus
• The Pairing of Contracts and Session Types
• Contract Based Multi-party Service Composition
• The Must Preorder Revisited
• Circular Causality in Event Structures
• A Theory of Agreements and Protection
• Sub-behaviour relations for session-based client/server systems
• Fair subtyping for multi-party session types

This page was built for publication: A fixed-points based framework for compliance of behavioural contracts