Service oriented computing from a process algebraic perspective
type: Item
instance of: scholarly article
title: Service oriented computing from a process algebraic perspective
zbMATH Open document ID: 1178.68072
author: Mario Bravetti
author: Gianluigi Zavattaro
published in: The Journal of Logic and Algebraic Programming
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5083808
zbMATH Keywords: service oriented computing
zbMATH Keywords: service composition
zbMATH Keywords: process calculi
describes a project that uses: Linda
MaRDI profile type: Publication
full work available at URL: j.jlap.2006.05.002
OpenAlex ID: W2095956855
cites work: Process algebra with timing
cites work: Fundamental Approaches to Software Engineering
cites work: Formal Methods for Open Object-Based Distributed Systems
cites work: Quantitative information in the tuple space coordination model
cites work: Q2754193
cites work: CONCUR 2005 – Concurrency Theory
cites work: Theoretical foundations for compensations in flow composition languages
cites work: Coordination Models and Languages
cites work: Communicating Sequential Processes. The First 25 Years
cites work: Semantic subtyping for the pi-calculus
cites work: Generative communication in Linda
cites work: A generic type system for the pi-calculus
cites work: Foundations of Software Science and Computational Structures
DOI: 10.1016/J.JLAP.2006.05.002
description: scientific article; zbMATH DE number 5083808