Realizable temporal logics for web service choreography
type: Item
instance of: scholarly article
title: Realizable temporal logics for web service choreography
zbMATH Open document ID: 1348.68148
author: D. Kharzeev
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2016-08-18T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M11
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6618153
zbMATH Keywords: web services
zbMATH Keywords: choreography
zbMATH Keywords: formal methods
zbMATH Keywords: local temporal logics
zbMATH Keywords: communicating automata
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.06.002
OpenAlex ID: W2460437814
cites work: Conversation protocols: a formalism for specification and verification of reactive electronic services
cites work: Structured Communication-Centred Programming for Web Services
cites work: Realizability and verification of MSC graphs
cites work: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
cites work: Q2754167
cites work: Deciding choreography realizability
cites work: Analysis of Realizability Conditions for Web Service Choreographies
cites work: Counterexample Guided Synthesis of Monitors for Realizability Enforcement
cites work: An expressively complete linear time temporal logic for Mazurkiewicz traces
cites work: Mathematical Foundations of Computer Science 2003
cites work: Reasoning about layered message passing systems
cites work: On Communicating Finite-State Machines
cites work: Formal Models of Communicating Systems
DOI: 10.1016/J.JLAMP.2016.06.002
description: scientific article; zbMATH DE number 6618153