Models for trustworthy service and process oriented systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1237.68038
author: Hugo A. López
publication date: 2012-05-11T00:00:00Z
full work available at URL: frontdoor f8b6.html
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 6033355
zbMATH Keywords: concurrent constraint calculi
zbMATH Keywords: session types
zbMATH Keywords: logic
zbMATH Keywords: service and process oriented computing
describes a project that uses: COWS
MaRDI profile type: Publication
OpenAlex ID: W1494186517
DOI: 10.4230/LIPICS.ICLP.2010.270
title: Models for trustworthy service and process oriented systems
description: scientific article; zbMATH DE number 6033355